57天内，人类与AI合作完成了4694个等式间22028942个蕴含关系的验证。陶哲轩宣布“等式理论计划”成功。

该计划始于2024年9月25日，旨在探索原群等式的蕴含关系。陶哲轩不仅集结了人类数学家，还引入了AI工具如ChatGPT、Claude和GitHub Copilot。项目启动后仅9天，进度已达99.866%。

目前，在2200万个需证明的蕴含关系中，8178279个已被证实，13855193个被证伪，仅162个未解决。陶哲轩表示，离完全成功只是时间问题。

项目采用“数学家+AI+Lean证明辅助语言”的方式，构建了4694个等式间的“蕴含图”。最初灵感来源于陶哲轩对去中心化研究方式的设想。通过AI工具和Lean语言，大规模协作成为可能。

项目初期聚焦于包含一个方程的magma定律，最多四次使用magma操作。每个定律可能蕴含其他4693个定律，共需验证22,028,942个关系。这些关系分为“蕴含”和“反蕴含”。

项目进展迅速，启动第5天解决大量简单蕴含，第9天达到99.866%。第19天进度达99.9963%，并开始准备论文。项目最终在第57天达成目标。

陶哲轩提到，大模型工具如GitHub Copilot在日常任务中表现优异，但在项目中表现低于预期。多数自动生成结果源自人类推导和推广。

项目参与者多元，包括数学家、计算机科学家、学生和业余爱好者。Lean在整合人类和机器贡献方面表现出色，机器生成部分贡献最多，但许多结果源自人类推导。

项目衍生研究也在进行，包括有限原群限制下的蕴含图分析等。陶哲轩希望项目中的蕴含关系能作为未来AI数学工具的基准测试。