跳到正文
原文
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