数学家解读 OpenAI 求解成果：正确但缺乏底层理论创新

littmath · x · 2026-08-09

数学家陶哲轩等人对 OpenAI 近期解决复杂数学难题的表现进行了深入解读。他们肯定了模型给出的数学证明在根本上完全正确，认为其成果达到了顶级学术期刊（如 Inventiones）或 STOC 最佳论文的级别。

但专家也指出，AI 目前仍缺乏开创全新数学理论的能力。以非 sofic 群问题为例，模型是通过极其巧妙地组合应用人类数学家（如 Kun 和 Thom）已有的深厚定理来给出最终答案，属于为长期的研究进程画上点睛之笔，而非从零构建新理论。