标签 / #Claude
#Claude
共 3 篇 · 按时间倒序
免费
ANALYSIS
AI用11天将费马定理129页手写证明转为1300万行Lean代码
Anthropic 用一个多智能体流水线，把 Wiles 1995 年的证明从头到尾跑通，数学界第一次拿到端到端、可机器核验的费马大定理证明。
▶ 听播客
09-05 · 12 分钟
免费
LAUNCH
Claude 学会在后台替你操作电脑
Anthropic 把 computer use 推入 Cowork 与 Claude Code，Pro 与 Max 用户可在 macOS 桌面端让 Claude 并行点鼠标敲键盘。
▶ 听播客
09-03 · 12 分钟
免费
LAUNCH
Claude 记忆打通聊天与 Cowork，逐条可改可删
8 月 25 日 Anthropic 把记忆从聊天延伸到 Cowork，一份记忆跨场景复用；用户能在 Memory settings 里逐条审阅、修改和删除，敏感话题默认不存，可手动开启。
▶ 听播客
08-26 · 11 分钟