The Verge · AI· Robert Hart·· 3 小时前精选AI 评分78
数学家称OpenAI最新数学成果是“纯粹的疯狂”，解读需耗时多年
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
AI 导读
OpenAI本周突然发布近400条AI生成的数学结果，覆盖组合学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学和数学物理等70多份手稿。数学家称消化这份清单就需要数小时，部分结果已用Lean形式化，但整体验证程度差异很大。OpenAI未披露具体模型和提示词，数学界担心学术文化受到冲击。
推荐理由
文章收录三十余位数学家对OpenAI一次性释放近400条数学成果的评论，呈现学界在效率与学术生态冲击之间的真实张力。
来源：The Verge · AI · theverge.com