陶哲轩宣布“等式理论计划”成功，57天2200万+数学关系证明

陶哲轩发起的“等式理论计划”利用数学家、AI工具和Lean证明语言，57天完成2200万+magma等式蕴含关系的证明和反驳；项目快速进展得益于AI工具如GitHub Copilot和Vampire的辅助，但AI表现低于预期，主要用于代码加速和可视化工具开发；计划成果为AI数学工具提供基准测试，促进大规模人机协作在数学研究中的应用，部分衍生项目仍在进行。