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

Axiom Math团队用AI系统AxiomProver首次自动验证素数相关定理「246定理」，标志AI辅助数学形式化验证取得重要里程碑。

马斯克预测：中国大模型2027年Q1赶上Anthropic Fable水平 2026年6月18日，有网友在社交媒体提问：'中国大模型预计何时能够达到Anthropic的Fable水平？'特斯拉CEO马斯克回复称：'可能在（2027年...