OpenAI 公开 722 项 AI 数学成果，附 Lean 验证代码并开源于 GitHub
刚刚，OpenAI公开722数学成果：平均单题消耗3小时Pro算力
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
OpenAI 公布 722 篇 AI 撰写的数学论文，打包上传至 https://github.com/openai/math，平均每个难题消耗 ChatGPT Pro 深度思考三小时算力，并提供大量 Lean 代码供机器验证，声明尚未获外部数学家证实。
推荐理由
文章给出算力开销、Lean 验证代码和数学界反应等细节，可帮助读者评估 AI 生成数学成果的可信度与后续影响。
来源：AI寒武纪 · 微信公众号 · mp.weixin.qq.com