数学奇迹：陶哲轩与AI联手，57天破纪录证明2200万+数学关系！

项目进度远超陶哲轩本人预期

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

2024年9月25日，数学家陶哲轩发起了“等式理论计划”，旨在探索按蕴含关系排序的原群等式理论空间。该项目结合了人类数学家的智慧和AI工具的力量，成功解决了4694个等式之间的22028942个蕴含关系，项目进展超出预期，仅用9天便达到了99.866%的完成度。

陶哲轩受到去中心化研究方式的启发，决定通过集合专业和业余数学家、AI工具及证明辅助语言Lean，进行大规模数学合作。在这一过程中，他希望克服传统数学研究的局限性，探索更为高效的合作模式。项目的灵感源于一个关于代数等式的研究问题，进一步引导他关注代数结构中的magma。

magma是一个包含集合和二元运算的代数结构，不要求满足额外的代数性质。等式理论计划的目标是研究4694个magma等式之间的蕴含关系，包括等价、推出和非推出关系。这个庞大的研究任务涉及22028942个可能的蕴含关系，挑战极大。

项目在启动后迅速推进，48小时内解决了大量简单蕴含关系。到第9天，项目的完成度已达到99.866%。参与者包括数学家和计算机科学家，他们利用AI工具如GitHub Copilot、Claude等，加速了研究进程。虽然AI工具的表现有时不及预期，但仍在代码编写和可视化工具创建方面发挥了重要作用。

随着项目的成功推进，陶哲轩已开始撰写论文，预计将有数十名作者参与。项目的成果不仅为数学研究提供了新的合作模式，还可能为AI数学工具的基准测试奠定基础。未来，团队将继续探索相关衍生项目，如有限原群下的蕴含图研究等。

总之，等式理论计划不仅展示了人类与AI的有效合作潜力，也为数学研究的未来提供了新的视角与方法。

文章来源：量子位
作者微信：
作者简介：追踪人工智能新趋势，关注科技行业新突破

文章版权归作者所有，未经允许请勿转载。

暂无评论...