OpenAI发布722篇AI数学论文

发生了什么

据观察者网·工业科技报道，2026年10月初，OpenAI未经同行评审直接公开了722篇由未公开前沿大模型撰写的纯数学研究手稿。这些手稿涵盖数论、代数几何等17个领域，涉及黎曼猜想等千禧年难题。其中第003组成果将准黎曼猜想的无零点区域推进至实部大于7/8，并彻底排除了一致西格尔零点的存在；第004组证明了有理数域上希尔伯特第10问题不存在通用算法。此外，AI还证明了圆周率π的无理性指数为2及卡塔兰常数的无理性。该成果由内部模型生成，平均每项突破耗费约3小时旗舰版思考模型的算力，并通过Lean形式化验证语言确保逻辑严密性。