OpenAI集中公开722篇AI数学手稿 规模化求解开放难题走向台前

在人工智能与基础数学交叉领域，一项重磅成果近日引发热议。据The Verge报道，OpenAI于10月公开发布了一批由先进AI模型生成的数学研究成果，共计722篇手稿，涵盖372组彼此关联的研究结果，并包含对数百个长期悬而未决的数学开放问题的潜在解答。

一次“规模化”的研究尝试

今年9月，OpenAI曾宣布其内部模型已在数学多个领域解决了超过100个长期未解决的开放问题，但当时并未公布具体题目与细节。如今，这批成果集中亮相。除了手稿本身，OpenAI还同步公开了模型的推理过程说明、每项研究所消耗算力的大致估算，以及模型总共尝试解决了多少问题的统计信息。

OpenAI表示，平均每项数学成果所消耗的计算量，大约相当于ChatGPT Pro的“思考模式”持续运行3小时。这标志着AI解决数学难题的方式出现了转折——从“偶尔攻克一道难题”，逐步走向可以批量尝试、集中输出的规模化研究模式。

最关键的一步：验证

需要特别强调的是，AI生成看似完整的证明，并不自动意味着相关问题已获得数学界正式认可。每项结果仍需专家仔细核验证明的严谨性、是否存在隐蔽错误，以及相关开放问题此前是否已有类似结论。因此，验证环节依旧是这一新模式能否真正落地、被学术界接纳的核心。

学术界的期待与提醒

独立顾问机构AGMAI（数学与人工智能顾问组）在9月底发布了面向AI实验室的首批建议。该组织认为，AI取得的数学成果应当及时公开，并尽可能通过成熟学术渠道发表，而不是仅由AI公司自行宣布。同时，AI实验室在发布成果时，应披露所用模型、提示词以及算力成本等关键信息，便于外界理解与检验。

AGMAI还明确提出，AI公司不应把数学研究成果当作宣传模型能力的营销工具。若各头部实验室为证明自身模型更强，争相以未经充分验证的成果进行宣传，势必给数学研究社区带来成果验证压力、优先权争议等问题，甚至打乱正常的研究节奏。

OpenAI表示，这批数学成果目前已上传至公开的代码仓库，并制定了相应的审查与引用规则，方便数学界进一步验证和使用。

小结

OpenAI一次性公开722篇数学手稿，背后是AI数学研究从“偶发突破”走向“规模量产”的方向性转变。尽管验证与同行评议仍是横亘在AI成果与数学共识之间的关键关卡，但客观来看，人工智能正在以空前的速度介入并推动基础数学研究，其影响力将在未来数月持续发酵。

本文内容基于公开网络资讯整理