AI用11天将费马定理129页手写证明转为1300万行Lean代码
Anthropic 用一个多智能体流水线，把 Wiles 1995 年的证明从头到尾跑通，数学界第一次拿到端到端、可机器核验的费马大定理证明。
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.
Anthropic 用一个多智能体流水线，把 Wiles 1995 年的证明从头到尾跑通，数学界第一次拿到端到端、可机器核验的费马大定理证明。
The skinny isn't ready yet — notes appear once the transcript is processed.