57 天，人类和 AI 合作搞定了 4694 个等式之间 22028942 个蕴含关系！ 大神陶哲轩激动宣布：等式理论计划，成功。 “等式理论计划”，由陶哲轩本人在 2024 年 9 月 25 日发起，目的是探索按蕴含关系排序的原群（magma）等式理论空间。 特别的是，在这个项目里，陶哲轩不仅集合了人类数学家的力量，还把 AI 工具纳入了合作者的范围，包括 ChatGPT、Claude 和 GitHub Copilot。 项目发起当日就正式启动，仅仅 9 天，项目进度就达到了 99.866%。 而现在，在…