OpenAI 稱 AI 推翻電腦科學「指數時間假設」
OpenAI 在 2026 年 10 月 26 日公布三項由內部 AI 模型得出的科學結果，其中最受注目的是聲稱推翻電腦科學界普遍相信的「指數時間假設」（Exponential Time Hypothesis，ETH）。據 The Next Web 報道，模型在 10 月 16 日找到反證，OpenAI 翌日用 Lean（以電腦逐步核對數學證明的程式語言）完成驗證，並把模型的論文及 Lean 證明放上 GitHub。
領域 | OpenAI 聲稱的結果 | 誰來審查 | 材料是否公開 |
|---|---|---|---|
電腦科學 | 指數時間假設不成立 | ETH 提出者及 Ryan Williams | 論文及 Lean 證明已公開 |
數學 | 證明所有維度的局部平滑猜想 | 數學界 | 論文及 Lean 證明已公開 |
物理 | 證明四維量子場論（包括量子色動力學）存在 | David Gross 領導的小組 | 暫不公開 |
指數時間假設是甚麼
指數時間假設是關於「布爾可滿足性問題」（判斷一組邏輯條件能否同時成立）有多難解的猜想，與著名的 P 對 NP 問題關係密切。它斷言這類問題的計算時間必定隨規模呈指數級增長。據 The Next Web 報道，數以百計的電腦科學論文以它為前提，涉及圖論、計算生物學及數據庫等領域，一旦被推翻，這些推論都要重新檢視。
提出假設的學者會公開審查
ETH 的提出者、加州大學聖地牙哥分校的 Russell Impagliazzo 及 Ramamohan Paturi，會與麻省理工學院的 Ryan Williams 帶領獨立審查。三人在致業界的公開信中寫道：「我們的參與不應被視為認證這項聲稱。如此重要的結果需要審慎、獨立的審查。」Williams 表示，小組沒有簽署保密協議，亦不收取報酬。三人亦寫道：「如果聲稱正確，它將改變理論電腦科學的重要一環。」
數學：一個證明牽動三個猜想
OpenAI 稱模型證明了數學家 Christopher Sogge 在 1991 年提出的所有維度的局部平滑猜想（關於波動如何隨時間變得平滑）。這亦會一併解決所有維度的掛谷猜想（Kakeya conjecture）及 Stein 限制猜想。此前數學家只在 2019 年證明了二維的局部平滑猜想，在 2025 年證明了三維的掛谷猜想。
物理：與千禧年大獎難題有關
物理方面，OpenAI 稱模型嚴格證明了某些四維量子場論存在，包括描述夸克與膠子之間強作用力的量子色動力學，當中包括純楊米爾斯理論存在的證明，屬克雷數學研究所七個千禧年大獎難題之一的一部分。審查小組由諾貝爾獎得主 David Gross 領導，小組決定暫不公開 AI 產生的材料。
OpenAI 不要學術功勞
OpenAI 表示不會為這些發現爭取學術功勞，並向 Simons Foundation 捐出 500 萬美元，資助相關工作坊及會議。Impagliazzo 等三人則在信中提醒，若 AI 先找到結果，功勞或會落在最先發表或擁有最強工具的人身上，核對和解釋成果的人反而被忽略。
暫時未有留言
提交留言即表示你已閱讀我們的私隱政策。