The Verge · AI· Robert Hart·· 2 小时前精选AI 评分85
OpenAI 一次性发布近 400 项数学成果，数学家称需数年才能消化
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
AI 导读
OpenAI 本周发布近 400 项 AI 生成的数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论、拓扑等多个领域。OpenAI 承认这些结果处于不同验证阶段，719 份手稿中仅 300 项核心结果完成 Lean 形式化，约 42%。
推荐理由
通过数十位数学家的第一手反应，呈现OpenAI大规模发布数学成果后学术界的验证困境与职业冲击。
来源：The Verge · AI · theverge.com