Anthropic于9月5日宣布Claude用11天完成费马大定理端到端机器验证证明，产出1300万行代码与2.95万条定理，体量达Mathlib的5倍，标志AI数学形式化进入工程化阶段。