费马最后定理

Anthropic完成费马最后定理的Lean 4形式化证明

Anthropic公司已完成费马最后定理在Lean 4中的完整机器验证证明。该证明基于Mathlib库，沿用Frey、Serre、Ribet、Wiles及Taylor-Wiles的经典论证路径，采用Darmon–Diamond–Taylor 1995年阐述的方法。