OpenAI发布722篇AI数学论文 开源验证引学界震动

OpenAI近期对外公布了722篇由人工智能自主撰写的数学学术论文，截至目前，这些研究成果尚未获得外部数学家的正式证实。

这批由AI生成的数学研究成果已经完整打包上传至GitHub代码仓库，相关开源项目地址如下：

https://github.com/openai/math

据了解，每一道数学难题的AI解法生成，平均需要消耗ChatGPT Pro约三小时的深度思考算力资源。

为了确保这些AI生成的解法真实有效，OpenAI同步公开了大量Lean代码。Lean是一款专门用于计算机核验数学证明的编程语言，这意味着机器已经对所有解法完成了初步的验证工作。

本次开源的内容涵盖了这批数学成果的全部技术细节与模型推理过程。

同时，OpenAI还公开了10个具有代表性的模型推理摘要，公布了解题过程中的尝试题量统计数据，并提供了精确的算力开销估算报告。

后续还会有更多形式化验证代码陆续补充进该代码仓库中。

为了帮助全球数学界更好地理解这些AI产出的研究成果，OpenAI计划出资赞助一系列研讨会、学术会议以及专项交流项目。

除此之外，团队正在同步推进安全评估工作，计划在未来以负责任的态度正式发布该项目背后的核心大模型。

这一事件迅速引发了全球数学界核心圈层的广泛关注。

普林斯顿高等研究院专门牵头成立了数学与人工智能咨询小组。

该咨询小组的成员阵容堪称豪华，汇聚了爱德华·威滕、蒂莫西·高尔斯、马丁·海尔等多位顶级学术学者。

专家小组保持完全独立的运作模式，不仅不接受OpenAI的任何报酬，也不对OpenAI的商业决策承担任何责任。

在此之前，专家组已经收集了600多份同行调查问卷，针对AI实验室如何规范发布数学研究成果制定了一套公开的行业准则。

针对OpenAI此次的重大动作，专家小组随后发布正式声明指出，人工智能的发展已经将数学研究推到了一个历史性的关键节点。

专家组明确表示，OpenAI此次公布研究成果仅仅只是一个开端。

人类数学家吸收和理解这些机器生成的研究成果，还需要一个相对漫长的过程。

更为关键的是，数学研究的未来绝对不能演变成人类只能被动接受和理解AI生成的内容。

数学家必须保留提出属于自己的研究问题、探索独特研究方向的自由。

要实现这一科研自由，普通科研人员必须能够平等获取顶级的AI研究工具以及充足的计算资源。

参考：

https://openai.com/index/sharing-ai-progress-in-mathematics/