陶哲轩宣布「等式理论计划」成功，人类 AI 协作 57 天

数学家陶哲轩通过结合人类数学家的智慧、AI 工具以及证明辅助语言 Lean，发起了「等式理论计划」，旨在探索代数领域中 magma 等式之间的蕴含关系。该项目自 2024 年 9 月 25 日启动以来，取得了显著进展，仅用 57 天就完成了 4694 个等式之间 22028942 个蕴含关系的探索。项目成功地将传统数学研究的验证环节与 AI 工具相结合，大幅提高了研究效率。AI 工具在项目中发挥了重要作用，尽管其表现有时未达预期，但在促进代码编写、创建可视化工具等方面仍有显著贡献。目前，项目已进入撰写论文阶段，预计将包含数十名作者。此外，项目的研究成果也将为未来 AI 数学工具提供基准测试。