数学家称需数年消化 OpenAI 最新数学成果发布
原标题：‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
AI 摘要
OpenAI 本周突然发布近 400 项 AI 生成的数学成果，分散在 700 多份手稿中，涵盖组合数学、几何、数论、拓扑等多个领域。数十位数学家向 The Verge 表示，仅消化这些内容就可能需要数年，且只有约 42% 的结果用 Lean 形式化验证，质量参差不齐。研究者担忧这波'论文海啸'会冲击学术文化，而 OpenAI 可能很快转向下一批发布。
正文节选
“Staggering.” “Overwhelming.” “Unprecedented.” “Surreal.” “Pure insanity.” ‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop Careers upended overnight, academics will have to separate solutions from slop while OpenAI moves on. Those were among the descriptions more than three dozen mathematicians reached for in conversations with The Verge as they tried to make sense of the flood of mathematical results OpenAI abruptly dropped on the field this week. Amid the