机器之心报道说，Claude Fable 5.2 用大约 30 小时完成了费马大定理的形式化证明。关心 AI 数学能力、形式化验证的人可以看看。

最值得留意的是时间：30 小时完成费马大定理形式化，这个效率本身就挺说明问题。

如果你好奇大模型在严肃数学任务上到底走到哪一步，这篇值得点开看看。