品玩11月25日讯，知名华裔数学家陶哲轩近日宣布，等式理论计划成功。该计划由陶哲轩本人在 2024 年 9 月 25 日发起，目的是探索按蕴含关系排序的原群（magma）等式理论空间。

在这个项目里，陶哲轩不仅集合了人类数学家的力量，还把AI 工具纳入了合作者的范围，包括ChatGPT、Claude 和GitHub Copilot。据陶哲轩表示，在计划 2200 万 + 个需要证明的蕴含关系中，8178279 个已被证实，13855193 个已被证伪，仅有 162 个还悬而未决。

据陶哲轩表示，其团队现在已经开始着手撰写论文了。