The Verge · AI· Robert Hart·· 6 天前AI 评分12
OpenAI 发布近 400 项 AI 生成数学成果，数学家称需数年消化
‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
AI 导读
OpenAI 本周突然发布近 400 项 AI 生成的数学结果，涵盖组合学、几何等 700 多篇手稿。仅约 42% 的成果完成 Lean 形式化验证，其余处于不同阶段。多位数学家表示理解这些内容需耗时数年，并担忧低质量“AI slop”及归属问题。
来源：The Verge · AI · theverge.com