费马大定理破解：AI助力数学家仅用代码完成100页证明

数学界著名的“费马大定理”有望被人工智能攻克。英国数学家Kevin Buzzard计划启动一项用Lean编程工具重现费马大定理证明过程的项目，该项目的公开蓝图将于4月上线，任何人都可以为其贡献力量。这个项目不仅将改变数学证明的方式，也可能会对其他领域产生影响。例如，数学家们正在尝试将证明过程转化为计算机能够理解的语言和规则，这将有助于新一代数学家开展计算机辅助证明的研究。此外，该项目还将揭示数学研究的新模式和可能性。