华裔数学家陶哲轩宣布人类与人工智能协作“等式理论计划”成功

11月23日，数学家陶哲轩宣布“等式理论计划”成功，该计划在57天内完成了4694个等式之间22028942个蕴含关系的证明。该项目于2024年9月25日发起，旨在探索按蕴含关系排序的原群等式理论空间。项目结合了人类数学家、人工智能工具（包括ChatGPT、Claude和GitHub Copilot）以及证明辅助语言Lean。项目启动9天后，进度已达99.866%，最终8178279个蕴含关系被证实，13855193个被证伪，仅剩162个悬而未决。陶哲轩表示，项目的成功主要依赖于人类和机器的合作，其中机器生成的部分是贡献的最主要来源。该项目不仅展示了大规模数学协作的可能性，也为未来人工智能数学工具提供了基准测试。项目的主要参与人还包括意大利数学家Pietro Monticone和Shreyas Srinivas。