OpenAI放出722篇手稿:AI一次性解答数百个数学开放问题,引发学术界争议
OpenAI对外公布一批总计722篇研究手稿,内容来自一款尚未正式对外发布的前沿模型,里面包含大量长期悬而未决的数学开放问题解答。这批手稿归类为372个结果族,据称一共覆盖数百个开放问题的解。
- GitHub:https://github.com/openai/math
早在9月OpenAI就曾透露,旗下模型已经在多个数学领域解决100多个长期存在的开放问题,本次发布是这批成果的详细落地披露。材料里面附带模型推理摘要、算力消耗估算、尝试解题的总量统计。OpenAI表示,这些成果里的平均案例,消耗的算力大约等同于ChatGPT Pro三小时的思考算力。
本次成果对外沟通由新成立的独立咨询小组AGMAI(数学与人工智能咨询小组)参与,小组成员由顶尖数学家构成,目的是规范这类AI数学成果的对外发布。
AGMAI在9月底已经发布相关建议,一方面鼓励AI实验室及时公开数学成果,尽量走传统学术渠道发表;另一方面要求完整披露模型名称、提示词、算力开销等关键信息。同时该小组明确提出警示:不要将数学成果发布当作模型营销工具,这类营销化发布方式,已经给数学学术圈带来显著负面影响。
这一系列AI攻克数学难题的成果,在数学界内部评价两极。一部分数学家惊叹于AI的推理能力,另一部分学者感到不安,随之而来大量关于学术伦理、科研规范的讨论。核心争议集中在:AI产出的数学证明如何核验、AI生成成果的署名归属,以及科技企业借助重大数学发现宣传大模型是否合适。
要点小结
- 成果规模:722篇手稿,372个结果族,AI解答数百个数学开放问题,来自未发布前沿模型
- 算力参考:平均案例算力 ≈ ChatGPT Pro 3小时思考开销
- AGMAI定位:顶尖数学家组成的独立咨询小组,负责协调成果对外沟通
- 核心呼吁:公开模型、提示词、算力;反对拿数学突破作为模型营销手段
- 行业影响:成果震撼数学界,同时带来学术伦理、证明核验、科研归属的一系列争议












