OpenAI 刚刚发布了 722 篇 AI 撰写的数学论文。这些声明尚未得到外部数学家的证实。
这批研究成果已经打包上传至GitHub代码仓库。
https://github.com/openai/math
平均每个难题的解法，大概消耗了ChatGPT Pro深度思考三小时的算力。
为了证明这些解法真实有效，OpenAI同步给出了大量的Lean代码。这是一种专门让计算机核验数学证明的编程语言，相当于机器已经对答案做过了验证。
这批成果的技术细节和模型推理过程全部开源。
OpenAI公开了10个具有代表性的模型推理摘要，公布了解题时的尝试题量统计，并提供了精确的算力开销估算。
后续更多形式化验证代码还会陆续补充进代码库。
为了让数学界更好地理解这些AI产出的成果，OpenAI接下来将出资赞助一系列研讨会、学术会议和专项交流项目。
同时，他们正在推进安全评估，计划在未来负责任地正式发布这个背后的大模型。
这起事件惊动了全球数学界的核心圈子。
普林斯顿高等研究院专门牵头成立了数学与人工智能咨询小组。
这个小组的成员阵容极其豪华，包括爱德华·威滕、蒂莫西·高尔斯、马丁·海尔等多位顶级学者。
专家小组保持完全独立运作，不拿OpenAI一分钱报酬，也不对OpenAI的商业决策负责。
他们此前收集了600多份同行问卷调查，针对AI实验室如何发布数学成果制定了一套公开准则。
面对OpenAI这次的大动作，专家小组随后发布声明指出，AI的发展把数学研究推到了一个历史性节点。
专家组明确表示，OpenAI公布研究只是一个开端。
人类数学家吸收这些机器产出的成果，需要一个漫长的过程。
更关键的一点在于，数学研究的未来绝不能变成人类只能被动理解AI生成的内容。
数学家必须保留提出自己问题、探索独特方向的自由。
要实现这种自由，普通科研人员必须能够平等获取顶级的AI研究工具与充足的计算资源。
参考：
--end--
最后记得⭐️我，每天都在更新：如果觉得文章还不错的话可以点赞转发推荐评论
/...@作者：你说的完全正确（YAR师）
