The Verge · AI· Robert Hart·· 3 天前精选AI 评分83
OpenAI 一次性发布近 400 项 AI 数学成果，数学家称理解其影响或需多年
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
AI 导读
OpenAI 本周在 GitHub 发布近 400 项 AI 生成数学成果，分布于 719 篇手稿，覆盖组合数学、几何、数论、理论计算机科学等领域。OpenAI 称仅 300 项顶层结果完成 Lean 形式化，约占 42%，截至 10 月 8 日已修订十多篇手稿并因符号错误撤回 3 篇论文。
推荐理由
文章汇集数十位数学家的一手反应，呈现大规模 AI 数学成果对验证流程、研究规划和学术职业结构的冲击。
来源：The Verge · AI · theverge.com