陶哲轩宣布“等式理论计划”成功，57天内证明了超过2200万个数学关系，进展超出预期。该计划结合人类数学家与AI工具，探索magma等式的关系，已证实8178279个，证伪13855193个，剩余162个待决。论文撰写已启动，参与者多样，AI工具助力显著。