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

陶哲轩宣布“等式理论计划”成功，该项目由陶哲轩在2024年9月25日发起，旨在探索按蕴含关系排序的原群（magma）等式理论空间。项目采用“数学家+AI（包括自动定理证明系统和大模型）+证明辅助语言Lean”的协作方式，构建了一个展示4694个magma等式之间所有蕴含关系的“蕴含图”。在57天内，人类和AI合作完成了2200万+个数学关系证明，其中8178279个已被证实，13855193个已被证伪，仅有162个还悬而未决。陶哲轩表示，项目进度远超预期，现已开始撰写论文，并计划将蕴含关系作为未来AI数学工具的基准测试。