人类与AI联手：57天内突破2200万数学关系证明的奇迹！

原标题：陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明
文章来源：人工智能学家
内容字数：11031字

等式理论计划：人类与AI的合作突破

在2024年9月25日，由著名数学家陶哲轩发起的“等式理论计划”正式启动，旨在探索4694个代数结构magma等式之间的蕴含关系。这一计划吸引了众多数学家和AI工具的参与，标志着数学研究的合作方式进入了一个新阶段。

项目背景与灵感

陶哲轩对“去中心化”研究方式的探索启发了这一项目。传统的数学研究通常由少数专家主导，而“等式理论计划”通过结合人类数学家、AI工具（如ChatGPT、Claude等）和证明辅助语言Lean，实现了规模化的合作。项目的灵感源于对代数领域的兴趣，尤其是关于magma的等式之间关系的研究。

项目进展与成果

在仅仅9天的时间内，项目进度达到了99.866%。参与者们从2200万条蕴含关系中，成功证实了8178279个，反驳了13855193个，仅剩162个未决。陶哲轩表示，宣布完全成功只是时间问题，研究论文的撰写已经开始。

AI工具的作用

在项目中，AI工具发挥了重要作用。虽然大模型的表现低于预期，但GitHub Copilot在代码编写和日常任务中极为有效。ChatGPT则在激发灵感和探索新思路方面表现突出，帮助参与者们快速掌握相关知识。

项目的未来方向

除了主项目的成功，等式理论计划还有多个衍生项目正在进行中，包括在有限原群下的蕴含图研究等。陶哲轩希望，通过这一项目的蕴含关系，可以为未来AI数学工具的基准测试提供参考。

结语

“等式理论计划”的成功展示了人类与AI的高效合作，预示着数学研究的新未来。在陶哲轩和参与者们的共同努力下，这一项目不仅推动了代数理论的发展，也为AI在科学研究中的应用提供了宝贵经验。

联系作者

文章来源：人工智能学家
作者微信：
作者简介：致力成为权威的人工智能科技媒体和前沿科技研究机构