
OpenAI 宣布已解决或部分解决了 372 项长期悬而未决的数学挑战,在高级数学界引发剧烈震荡。此次发布的解决方案共包含 722 篇论文,均由内部未公开的专用 AI 模型生成。
两年前,AI 在处理基础数学问题时仍显吃力,如今却已能攻克需人类耗时数年验证的复杂命题。然而,这些解决方案的复杂度与规模庞大,导致人类数学家难以理解和验证。
权力的展示
这一举动被视为 OpenAI 展示技术实力的最新案例。此前几周,该公司刚发布了由未公开模型生成的纳维-斯托克斯方程提案。作为在世最伟大的数学家之一,陶哲轩成为反对阵营的核心人物。
陶哲轩分享了“人类数学协会”的文章,直言:“一次性发布超过 700 份文件并非学术能力的展示,而是权力的展示。”他呼吁数学家停止与 OpenAI 合作,回归以人类理解为核心的科学愿景。
合法性质疑
“人类数学协会”指出,数学界并未要求完成这项工作。协会强调,OpenAI 曾参与的“数学与人工智能咨询小组”在初始声明中明确建议,前沿 AI 公司不应在内部模型上测试高级数学问题。
协会认为,OpenAI 无视该立场,表现出对科学研究规范的漠视,损害了数学的可信度与伦理标准,并鼓励学界对此保持怀疑态度。尽管 OpenAI 回应称希望以此推动人类知识边界,但其鲁莽的“炫耀”行为被指可能损害自身乃至整个 AI 行业的声誉。