OpenAI 宣称证明拟黎曼猜想：数学界解析其突破与后续影响

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