OpenAI宣称其AI证明拟黎曼猜想引发数学界关注

2026年10月20日，OpenAI宣布其AI证明了黎曼猜想的弱化版本——拟黎曼猜想，数学界将其评价为目前AI在数学领域取得的最显著成果。据报道，该证明并未引入全新数学概念，而是通过挖掘已知理论之间的隐性关联实现了突破。该成果目前共包含199页的形式化验证版本以及49页的精简版本。尽管论文行文极其晦涩且缺乏可读性，数论学家目前仍正集中精力梳理其论证逻辑，并研判其对素数分布研究的具体影响。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。