AITNT · AI头条（网页）·· 4 小时前精选AI 评分82
OpenAI 在 GitHub 公开 722 份前沿模型生成的数学研究手稿
刚刚，OpenAI公开722个数学发现！霍奇猜想、黎曼zeta函数等手稿挤爆GitHub
AI 导读
OpenAI 在 GitHub 仓库 openai/math 中公开了由未发布内部模型生成的 722 份数学成果手稿，涵盖 372 个问题家族并包含部分 Lean 形式化证明与推理摘要。每道难题平均消耗约 3 小时的 ChatGPT Pro 推理算力，但官方说明部分未形式化结果仍可能存在错误。此举跳过传统学术同行评审流程并直接批量发布，引发了陶哲轩等多位数学家关于证明消化不良与学术规范的争议。
推荐理由
OpenAI集中开源前沿模型生成的数百份数学手稿与形式化证明，体现了机器规模化推导对传统学术评审流程的冲击。
来源：AITNT · AI头条（网页） · aitntnews.com