Anthropic Says Claude Completed the First End-to-End Formal Proof of Fermat’s Last Theorem in 11 Days

Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明

A public trend signal observed across 1 source.