OpenAI 两个月宣称解决百余道数学难题,700+ 结果已挂 GitHub
haider1 · x · 2026-10-27
博主汇总 OpenAI 近期在数学上的密集宣称:两个月内声称完成 Navier–Stokes 完整解、黎曼假设准证明、Yang–Mills 存在性证明(质量间隙仍开放)、P vs NP 的 ETH 反证、local smoothing 全维度证明、Kakeya 与 Stein 限制性问题解法、QCD 存在性证明等。
官方口径是「100+ 个长期悬而未决的数学问题被解决、700+ 条数学结果已发布在 GitHub」。这些宣称尚未经数学界同行评议验证,实际含金量有待专家审查,但速度本身已是标志性事件。
所属事件:OpenAI 宣布 AI 在数学、计算机与物理领域取得三项科学发现(110 条相关)→
「模型」频道最新
- GPT-6.1 Terra 浏览器基准 78.5 分，以低 35% 成本逼近 Sol — sandersted · 2026-10-27
- 微软 MAI-Image 登顶全球第二图像编辑模型,称超越谷歌 Meta xAI — mustafasuleyman · 2026-10-27
- Reddit 讨论：3-8B 小模型做中英实时翻译，哪个靠谱？ — Loose_Comparison368 · 2026-10-27
- 爆料人称实际 V4.1 Pro 架构将与此类似，但当前版本未见实质提升 — teortaxesTex · 2026-10-27
- 微软 MAI-Image-2.7-Preview 登顶图像编辑榜第二名,直逼 GPT Image 2.5 — ArtificialAnlys · 2026-10-27
- GPT-6.1 Terra maze 基准拿下 8%，同分 Sol 一半成本 — patience_cave · 2026-10-27