OpenAI 称 AI 模型取得三项科学突破

1. 20:37
   The Decoder精选

   OpenAI 邀请外部专家审查其 AI 产出的数学、计算机科学与物理证明

   OpenAI 邀请外部专家担任“shepherds”审查其 AI 产出的成果，并按领域采取不同方式：计算机科学与数学证明被翻译成 Lean 供机器逐步检查，物理证明则由 David Gross 牵头的小组审查。

2. 07:37
   AIHOT 精选精选

   OpenAI 宣称其模型在数学、计算机科学与物理取得三项重大结果，学界尚未独立验证

   OpenAI 于 10 月 26 日公告，其 AI 模型在三个领域各产生一项重大结果：数学上给出局部光滑猜想在所有维度的证明（连带解决各维度挂谷猜想与斯坦因限制猜想）；计算机科学上给出指数时间假设（ETH）不成立的证明；物理学上提出四维含规范场与费米子的量子场论存在性证明（含量子色动力学 QCD，并涉及杨–米尔斯理论这一千禧年难题）。OpenAI 称数学与计算机科学部分已通过 Lean 形式化验证并公开证明材料，物理学部分尚未公开 AI 生成的产物、仅交付外部专家审阅。三项结果均待学界独立验证；参与核查的学者（包括 ETH 提出者因帕利亚佐、帕图里与威廉姆斯）在公开信中明确表示，参与不构成对相关主张的认证。

3. 07:34
   AIHOT 精选

   OpenAI 宣布数学、计算机科学与物理三项重大发现，并与外部专家合作验证
4. 05:50
   AIHOT 精选

   Greg Brockman 宣布 OpenAI 在数学、复杂度理论和量子场论领域的三项科学发现

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。