Scientific American·· 25 天前精选AI 评分78
OpenAI 批量发布 700 多篇理论研究手稿,专家解读数学与物理领域关键成果
The most exciting claims from OpenAI’s heap of new proofs
AI 导读
OpenAI 集中发布了 700 多篇手稿,声称在数学、理论物理和计算机科学的 372 个未决问题上取得了证明或实质进展。《科学美国人》梳理指出,成果包括推进准黎曼猜想、解决四维挂谷猜想,以及将矩阵乘法复杂度指数降至 2.25。尽管部分成果被学界评价极高,但许多证明尚未经 Lean 形式化验证,部分内容已被撤回,且官方未公开完整提示词与运行细节。
推荐理由
原文汇总了外部学者对多项证明的核验反馈,读者可以借此了解 AI 在理论数学和算法前沿的具体突破与现存争议。
来源:Scientific American · scientificamerican.com