费马大定理
科学物理
费马大定理首获计算机可验证的形式化证明
Anthropic研究人员利用Claude AI在11天内完成了费马大定理的首个完整计算机可验证的形式化证明。这一突破性成就标志着人工智能在自动形式化复杂数学证明方面迈出重要一步。Claude采用Lean编程语言独立工作，生成了1300万行代码并证明了29500个中间定理，总共产生了30300个定理证明。这一成就规模…
科学物理
Anthropic完成费马最后定理的Lean 4形式化证明
Anthropic公司已完成费马最后定理在Lean 4中的完整机器验证证明。该证明基于Mathlib库，沿用Frey、Serre、Ribet、Wiles及Taylor-Wiles的经典论证路径，采用Darmon–Diamond–Taylor 1995年阐述的方法。
科技人工智能
计算物理学家让GPT-5.6 Sol连跑33小时攻关费马大定理遭系统强制终止
计算物理学专家Michael P. Frank指挥GPT-5.6 Sol模型连续运行约33小时，试图探索费马大定理是否存在比怀尔兹-泰勒证明更简洁的途径。该研究聚焦于Frey曲线模性、一致无限下降法、算术abc型不等式以及一致低亏格商等关键数学领域。然而这一尝试最终被OpenAI系统强制中止。