"纯粹疯狂"：数学家称消化 OpenAI 最新数学成果或需数年

OpenAI 发布近 400 项 AI 生成数学成果，涵盖 719 份手稿，覆盖组合学、几何、数论、拓扑等分支，仅约 42%（300 份）已完成 Lean 形式化验证。多位数学家接受 The Verge 采访时用"纯粹疯狂""史无前例"形容，称消化全部内容可能需要数年。研究者指出，部分论文质量较此前有所改善，但大量成果缺乏形式化验证，质量参差不齐。