陶哲轩宣布等式理论计划成功

陶哲轩宣布等式理论计划成功,这是一个由知名华裔数学家陶哲轩在2024年9月25日发起的数学研究项目,旨在探索按蕴含关系排序的原群(magma)等式理论空间。该项目不仅集合了人类数学家的力量,还创新性地将AI工具,如ChatGPT、Claude和GitHub Copilot,纳入合作者的范畴。截至宣布时,在计划中需要证明的2200万个蕴含关系中,已有8178279个被证实,13855193个被证伪,仅剩162个尚未解决。陶哲轩表示,团队已开始着手撰写论文,这一成果不仅在数学界具有重要意义,也为AI在科学研究中的应用提供了新的范例。