Anthropic AI自动形式化11天证明费马大定理，产物可复用构建

转发 @sammcallister：“这一非凡的自动形式化成就，据Anthropic研究人员称仅用了11天，在除了数学公理之外没有任何假设的情况下证明了费马大定理。在此过程中，我们看到了代数、调和分析、几何和数论的自动形式化，并且了解到AI自动形式化的产物现在已经足够可靠，可以在此之上构建；证明是多层次的。” https://t.co/h2M7rDDjXT