OpenAI宣布三项科学发现并公开材料
先了解这件事
2026年10月27日，OpenAI的Greg Brockman在社交平台X上宣布三项重大科学发现，分别在数学（调和分析）、计算机科学（复杂性理论）和物理（量子场论）领域各一项，并称“AI 开始帮助我们加深对宇宙的理解”，附有OpenAI官网与学术社区共建科学理解的链接。同日稍后，X用户Chubby（@kimmonismus）发帖称，关键证明已在Lean中完成形式化验证，属原创发现，涉及计算的极限与粒子物理的数学基础，正由独立专家审查。X用户Rohan Paul（@rohanpaul_ai）则称，OpenAI声称其AI产出新的数学证明，涉及半个千禧年难题、Kakeya猜想以及一个核心复杂性假设。The Verge同日报道称，OpenAI把结果发布到GitHub：数学方面，模型给出欧氏波动方程局部光滑猜想的证明，并由此推出Kakeya猜想与Stein限制猜想；计算机科学方面，论文给出确定性算法，声称在3-SAT情形下推翻指数时间假设（ETH）；物理方面只披露了四维相互作用量子场论存在性证明的概要，尚未完整公开。报道称，应研究团队请求，相关材料立即公开供他人检验，AI输出文稿与Lean证明于当日发布在GitHub。IT之家同日报道称，数学和计算机科学成果已通过Lean形式化验证并公开证明材料，物理学成果正由诺贝尔物理学奖得主等专家参与审查，相关成果仍需学术界进一步独立确认；模型撰写的自然语言证明和Lean形式化证明均已上传至OpenAI公开GitHub仓库。同日稍晚，沃顿教授Ethan Mollick在X上引用OpenAI的宣布推文并评论“两年半后会有这样的成果”，未提供新的事实细节。早先报道仅包含宣布本身，未披露具体内容与验证方式；后续报道补充了Lean形式化验证、独立专家审查及具体命题，其中X用户帖文的说法尚待OpenAI官方或独立方面确认。
AI 根据报道生成 · 44 分钟前更新
报道时间线
沿着报道，了解事件的不同侧面。
- Ethan MollickOpenAI 宣布数学、计算机科学与物理新发现
两年半后会有这样的成果。 （引用推文：我们宣布在数学、计算机科学和物理学领域的三项新发现，分别涉及调和分析、复杂性理论和量子场论。）
- IT之家精选OpenAI 称 AI 模型在数学、算法与物理领域取得三项突破
OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项成果，包括证明所有维度下的局部光滑猜想并由此解决挂谷猜想、给出指数时间假设（ETH）不成立的证明，以及提出量子色动力学和杨–米尔斯理论的存在性证明。
- The Verge · AI精选OpenAI 公布数学、计算机科学与物理三项发现，并引入外部专家把关
OpenAI 公布三项“重大”发现，分别涉及数学、计算机科学与物理，并把结果发布到 GitHub。数学方面，模型给出了欧氏波动方程局部光滑猜想的证明，并由此推出 Kakeya 猜想与 Stein 限制猜想；计算机科学方面，论文给出确定性算法，声称在 3-SAT 情形下推翻指数时间假设（ETH）；物理方面，只披露了四维相互作用量子场论存在性证明的概要，尚未完整公开。
- Rohan Paul精选OpenAI 称 AI 证明覆盖半个千禧年难题及 Kakeya 猜想等命题
OpenAI 声称其 AI 产出新的数学证明，涉及半个千禧年难题、Kakeya 猜想以及一个核心复杂性假设。
- ChubbyOpenAI 称其 AI 在数学、计算机科学和物理领域取得新发现
OpenAI 宣布在调和分析、复杂性理论和量子场论三个方向取得新发现，关键证明已在 Lean 中完成形式化验证。这些被描述为原创发现，涉及计算的极限与粒子物理的数学基础，目前正由独立专家审查。
- Greg BrockmanOpenAI 宣布三项科学发现
宣布三项重大科学发现，分别在数学（调和分析）、计算机科学（复杂性理论）和物理（量子场论）领域各一项。 AI 开始帮助我们加深对宇宙的理解！https://openai.com/index/building-scientific-understanding-with-academic-communities/
本事件热度走势
- 可比范围当前
- 57
- 可比范围峰值
- 5710月27日 09:00
- 近 24 小时变化
- –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。