OpenAI在数学界并未赢得尊重。继其AI智能体解决纳维-斯托克斯方程方案引发争议后，该公司又发布了数百篇声称包含各类数学问题证明的新论文，此举再次激怒领域专家。
专家们反感模型可能使用了他们的研究成果，更不满公司隐含的期望：要求人类数学家从事繁重工作，去解读和验证那些有时几乎令人无法理解的AI证明。
学界强烈反弹
“人类数学协会”发布声明猛烈抨击OpenAI，该声明随后获菲尔兹奖得主陶哲轩转发并实质认可。声明指出：“一次性发布超过700个文件并非学术研究的展示，而是权力的展示。”
声明强调，数学家对进步有特定愿景，拒绝OpenAI关于此次发布推动学科发展的主张，并敦促学界和公众以怀疑态度看待这种出版模式的价值。
隐瞒顾问反对意见
OpenAI宣称正努力改进与数学界共享结果的方式，并表示已咨询独立专家机构“数学与人工智能咨询组”。然而，该公司隐瞒了一个关键事实：该咨询组明确反对在专有模型上测试高级数学问题，因为这些模型对科学界仍不可访问。
咨询组在上月底的声明中明确表示：“我们不赞同这种做法，并要求他们停止在专有模型上测试高级数学问题。”“人类数学协会”批评OpenAI无视建议，却利用该组为其合法性背书，表现出对科学研究规范的完全漠视。
尽管OpenAI的数学证明已通过Lean编程语言验证，技术上可能严谨，但其实际效用仍有待观察。这些证明往往难以被人类理解，意味着数学家需承担解读和验证数百份AI生成证明的繁琐工作，而非真正推动人类对数学奥秘的理解。