OpenAI 发布 722 篇数学手稿 含多项重要问题进展

北京时间 10 月 7 日，OpenAI 公布内部前沿 AI 模型取得的多项数学研究成果，在 Github 发布 722 篇数学手稿并划分为 372 个结果族，覆盖 17 个数学相关领域，在多个重要数学问题上取得进展，部分成果有 Lean 形式化证明。绝大多数成果由其未发布的内部模型生成，单个结果平均计算量相当于 ChatGPT Pro 三小时的计算量，评估阶段该内部模型被提出 4000 个数学问题。相关学界人士对此态度不一，有人惊叹于 AI 的能力，认为需适应 AI 介入数学研究的现实，也有学者指出相关成果中经核验的高质量成果占比不高，仍需审慎看待，同时也有学者分析 AI 企业持续在数学领域取得突破的原因，并感慨这一现状给纯数学研究者带来的冲击。