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

文章导读

57天内，AI竟完成2200万+数学证明？陶哲轩重磅宣布：人类与AI协作的“等式理论计划”颠覆传统！仅用57天，4694个等式间22028942个蕴含关系被精准验证——817万条被证实，1385万条证伪，仅162条悬而未决。项目融合ChatGPT、Claude等AI工具与Lean证明语言，9天进度即破99.866%。陶哲轩直言：机器生成是核心驱动力！这不仅是数学协作的里程碑，更为你揭示AI如何重塑科研未来——普通人如何借力智能工具突破认知边界？立即解锁人类智慧与算法的终极共舞。

— 内容由好学术AI分析文章内容生成，仅供参考。

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

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