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

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