博主头像

OpenAI发布722项数学成果，多领域世纪难题获突破​ | 准黎曼猜想 | 霍奇猜想 | 唯一游戏

外来客 • 2026-10-10 13:32:20

分享
𝕏 f ◉
声明：本文为对公开内容的摘要整理， 未经本站独立核实，可能与原内容存在出入，不代表本站立场、观点或建议； 观点与版权归原作者及原平台所有。 如涉及版权问题，请联系我们，核实后立即删除。 [ 免责声明 ]

🧮 OpenAI数学成果发布概况

  • 核心事实：2026年10月7日，OpenAI在GitHub仓库“NAS数学”中一次性公开了722篇数学手稿，归入372个成果家族。
  • 覆盖领域：涵盖理论计算机科学（40族）、组合数学（37族）、代数与负几何（36族）等17个方向。
  • 形式化验证：约63%的成果附带Lean形式化证明，仓库还公开了10份模型推理摘要供外界审查。
  • 算力消耗：绝大多数结果由未发布的内部模型生成，平均每道题消耗约3小时的GPT Pro推理算力，总计处理约4000个问题。

🏆 关键数学突破细节

  • 准黎曼猜想：证明了θ=7/8的无零点区域成立，并一致排除了朗道西格尔零点，这是解析数论半个世纪以来未有的飞跃。
  • NP困难性证明：在仅基于P≠NP假设的前提下，确立了基本半定规划（Basic SDP）预值的普通NP困难性，无需依赖唯一游戏猜想。
  • 霍奇猜想：全面证明了复数域上具有复成的阿贝尔簇在所有维度和余维度上的有理霍奇猜想，并扩展至K3曲面。
  • 其他成果：包括三维挂谷集合猜想的算子代数对应、BSD公式的完整推导以及希尔伯特第10问题的否定解答等。

🗣️ 数学界反应与争议

  • 陶哲轩批评：联合25位菲尔兹奖得主发表公开信，指责AI公司将数学当作基准测试（benchmark）刷分，提出“证明消化不良”概念，认为AI快速产出答案却缺乏后续的概念生长与教科书化。
  • 发布方式冲突：数学家建议遵循学术规范、留出消化时间，但OpenAI选择一次性批量发布，被部分学者批评为类似“黑帮”行为。
  • 公平性质疑：有指控称OpenAI利用其工具监控研究者动向，并在传闻中抢先解决纳维斯托克斯方程，引发对学术竞争公平性的担忧。

⚠️ 验证局限与未来影响

  • 形式化局限性：Lean证明仅覆盖主结论，需人工核对定义是否与原问题一致；部分应用不在形式化范围内，机器验证不能替代同行评审的信用体系。
  • 智能爆炸风险：20位重量级人物联合论文警告，AI研发自动化可能导致“智能爆炸”，一旦开始行动窗口可能关闭。
  • 行业变革：数学知识确认速度被机器量产甩在身后，传统同行评审流程面临挑战；未来数学家需适应从“解题者”向“验证者与追问者”的角色转变。

博主头像 👤 同一博主

查看该博主全部 130 篇

🧭 类似博主

0 条评论

发表评论

请先 登录 后参与讨论。