“完全疯狂”：数学家需要数年才能理解 OpenAI 的最新发布

OpenAI 突然发布了近 400 项数学成果，分散在 700 多份手稿中，涵盖组合数学、几何学、数论、理论计算机科学、代数、拓扑学、概率与统计力学以及数学物理等领域。许多成果缺乏 Lean 形式化验证，研究人员发现这些论文难以理解，有时甚至无法读懂。数学家们描述了惊叹、兴奋与深刻焦虑的复杂情绪，担心研究计划被迫中断，尤其是初级研究人员面临职业生存危机。部分成果被认为是顶级水平，包括在 Riemann 猜想和四维 Kakeya 猜想上的进展，但 OpenAI 的引用不佳、质量不稳定以及缺乏对模型和提示的披露引发了批评，使人们感到这个领域已跨过某个阈值。

(来源：The Verge)