OpenAI近日发布了一份包含722篇由内部AI模型生成的数学论文报告，展示了其在数百个数学问题上的最新进展。这些论文涵盖数论、代数几何等领域，并被整理为372组。据悉，该模型共处理了约4,000个数学问题。
尽管OpenAI声称在包括黎曼猜想在内的五个“千禧年大奖难题”剩余五项中的三项取得了进展，但公司明确强调这并不意味着已完全解决这些难题。即便如此，这一成果仍在数学界激起强烈反响。罗格斯大学杰出数学教授Alex Kontorovich在社交媒体上表示：“如果是人类完成这项工作，将毫无争议地立即获得菲尔兹奖。”
黑盒争议：重结果轻理解
此次发布的核心争议在于“可验证性”。OpenAI虽提供了大量供审查的证明，并发布了10个结果的模型“思维链”摘要以展示推理过程，但这仅占已发表工作的一小部分。更重要的是，生成这些证明的专有系统并未对外开放。
许多数学家指出，使用专有AI模型解决数学问题存在“重结果、轻理解”的风险。由于无法访问底层系统，研究人员难以审查证明背后的逻辑，也无法基于这些发现进行有效的后续研究。这种分歧在此前OpenAI宣布解决纳维-斯托克斯方程相关项目时已初现端倪，当时亦有学者质疑系统可能借鉴了未发表的研究成果，OpenAI对此予以否认。
效率提升与行业竞争
OpenAI透露，新成果所需的平均计算力远低于其早期解决纳维-斯托克斯难题项目，后者曾耗费数百万美元计算资源。与单一项目的巨额投入相比，此次大规模发布为模型能力提供了更广泛的测试场景。
这一动作背后是AI巨头间的激烈竞争。OpenAI表示，其“千禧年大奖计划”的启动部分源于得知竞争对手Anthropic已解决至少一个类似问题。这种竞争压力甚至传导至学术界，本周早些时候，随着OpenAI即将发布大量证明的消息流传，部分数学家匆忙发布自己的研究成果，以防被AI抢先。
拒绝“停用封闭系统”建议
针对学界的担忧，一个由20多位菲尔兹奖得主签署公开信警告AI急于解题可能威胁数学研究目的，并协助组建了独立数学家顾问小组。该小组在收集数百名研究人员反馈后发布指南，明确要求AI开发者停止使用封闭系统测试高级数学问题。
OpenAI并未全盘接受该建议。公司辩护称，继续在数学和其他科学领域评估前沿内部模型，对于加速开发推动这些领域的工具至关重要。目前，虽然论文已公开，但关于高级数学研究是否应在公众无法访问的系统上进行，业界与OpenAI之间仍存在根本性分歧。