数百道数学难题迎来解答，OpenAI披露AI模型数学研究成果

OpenAI 对外公布新一轮 AI 数学领域研究成果，内部前沿模型完成数百个长期悬而未决数学难题的推导解答。

本次对外放出的材料包含 722 份手稿，覆盖 372 个结果家族，配套上传模型推理摘要、算力估算数据与问题统计信息。相关证明内容同步在开源平台提交 Lean 形式化证明文件，方便数学领域从业者核验推导逻辑。

这批成果覆盖数学多个分支方向，部分猜想困扰学界数十年。项目配套设立独立数学家咨询小组 AGMAI，负责梳理成果表述，评估成果对学术圈带来的影响。

OpenAI 披露，产出单条数学结论消耗的算力，对标 ChatGPT Pro 持续三小时推理的资源规模。外界在数周前就等待这批材料对外公开，在此之前官方未披露具体求解清单与发布时间。

AI 介入纯数学研究的案例持续增加。这批新结论落地，给基础学科研究模式带来新的变化，学界内部对于 AI 产出证明的采信标准，也出现不同看法。