概念Fermat's Last Theorem / FLT
费马大定理
数论中的著名定理，指出当整数n>2时方程x^n+y^n=z^n无正整数解，由费马于1637年提出猜想，1994年由Andrew Wiles完成完整证明
时间轴 (近 90 天)
9月13日
Anthropic的Claude完成了费马大定理的首个形式化证明
待验证50%
9月13日
为支撑主证明，这项工作还证明了超过29,000个附属定理
待验证50%
9月6日
费马大定理由安德鲁·怀尔斯在1995年完成证明
待验证50%
数论中的著名定理，指出当整数n>2时方程x^n+y^n=z^n无正整数解，由费马于1637年提出猜想，1994年由Andrew Wiles完成完整证明
Anthropic的Claude完成了费马大定理的首个形式化证明
为支撑主证明，这项工作还证明了超过29,000个附属定理
费马大定理由安德鲁·怀尔斯在1995年完成证明