刚刚，Claude首次证明费马大定理，清华姚班大神出手了

Anthropic的Claude在11天内完成了费马大定理的形式化证明，生成了1300万行代码和29500条可验证定理。这一成果不仅解决了困扰数学界350多年的问题，还展示了AI在形式化验证领域的巨大潜力。未来，AI将彻底改变数学研究的方式，成为最严苛的裁判员。

🔗 [论文地址]：https://www.anthropic.com/research/formalizing-fermats-last-theorem