OpenAI 於 2026 年 10 月 26 日發布聲明，宣布其內部 AI 模型在數學、電腦科學與物理學三個領域產出重大發現，並嘗試一種全新的學術釋出與驗證流程。這三項成果分別為：證明調和分析中的局部平滑猜想（進而解決所有維度的 Kakeya 猜想與 Stein 限制猜想）、推翻電腦科學中長期被認為成立的指數時間假設（ETH），以及為量子色動力學（QCD）與統一標準模型提供數學嚴謹的存在性證明（包含楊-米爾斯千禧年大獎賽問題的子問題）。OpenAI 將這些 AI 產出視為「原始研究資料」，而非最終論文，強調必須透過學術社群的深度參與，才能將其轉化為真正的科學認知。
核心機制：牧羊人模式與四大協作原則 為因應 AI 產出高難度證明的特殊性，OpenAI 設計了「牧羊人」機制，邀請外部頂尖專家組織工作小組，負責理解、驗證、撰寫解釋並決定釋出策略。針對三項成果採取差異化策略：數學成果直接公開 AI 原始輸出與 Lean 形式化證明，讓社群自由組織研究；電腦科學成果成立外部合作小組共同撰寫解釋，同時公開所有原始資料供獨立驗證；物理成果則授權專家小組主導撰寫與釋出時程。所有協作遵循四大原則：透明化（不簽署保密協議、自由討論發表）、不佔學術功勞（發現歸屬 AI，協作團隊負責理解與轉譯）、給予認可（團隊獲得撰寫成果的學術認可）、獨立性（參與自願無薪、結論屬於團隊不代表 OpenAI）。這種安排試圖在加速知識擴散與確保嚴謹驗證之間取得平衡，但也承認初期選定牧羊人會造成資訊不對稱，未來需探索擴大參與度的機制。
數學突破：局部平滑猜想與 Kakeya 猜想的全維度證明 數學成果聚焦於調和分析的局部平滑猜想，該猜想由 Sogge 於 1991 年提出，核心在於波動聚焦行為的極限：最極端的聚焦必須是短暫的，典型隨機時刻的聚焦程度遠小於最壞情況。這一現象若成立，將推論出 Kakeya 猜想與 Stein 限制猜想。此前學界僅在二維（Guth, Wang, Zhang, 2019）與三維（Wang, Zahl, 2025）取得進展。OpenAI 模型於 2026 年 10 月 18 日產出全維度證明，翌即完成 Lean 形式化驗證。證明核心在於建構一個新穎的輔助偏微分方程。遵循專家建議，OpenAI 採取開放釋出策略，於 GitHub 公開自然語言證明草稿與 Lean 代碼，供全球數學家即時檢視與研究。
電腦科學突破：指數時間假設 (ETH) 被證偽 在電腦科學領域，AI 系統證明了指數時間假設 (ETH) 不成立。ETH 由 Impagliazzo、Paturi 與 Zane 於 30 年前提出，斷言 3-SAT 問題無法在亞指數時間內解決，一直是計算複雜度理論的基石，數百篇論文以此為條件推導各領域的硬度下界。此次 AI 於 10 月 16 日找到自然語言反證，17 日完成 Lean 形式化。這一結果若經嚴格驗證屬實，將動搖現有複雜度理論版圖，重新開啟對 NP 難問題更快演算法的搜尋空間。協作小組由 ETH 原始提出者 Impagliazzo、Paturi 及曾推翻強版本 ETH 的 Ryan Williams 領軍，要求公開所有原始數據並由 OpenAI 資助會議討論後續影響。此案展示 AI 可能在人類長期卡關的核心猜想上突破瓶頸，但理論突破轉化為實用演算法仍需大量後續研究。
物理突破：QCD 與標準模型完成理論的嚴謹存在性證明 物理成果最為驚人：AI 為包含規範場與費米子的四維相互作用量子場論，提供了數學嚴謹的存在性證明，涵蓋量子色動力學 (QCD) 及一個統一的標準模型完成理論（標準模型本身無法外推至任意短距離）。作為子問題，也證明了純楊-米爾斯理論的存在性，這正是克雷數學研究所千禧年大獎賽問題之一。證明建構於 Balaban 的建設性量子場論方法，關鍵機制為漸近自由——Gross 於 1973 年發現此機制並因此獲 2004 年諾貝爾物理獎。協作小組由 Gross 領軍，成員包括 Douglas（長期追蹤該千禧年問題）、Jaffe（千禧年問題共同制定者）、Klebanov（規範-弦對偶與侷限專家）與 Nekrasov（精確楊-米爾斯推廣專家）。鑑於證明極其龐大複雜，團隊決定暫緩釋出 AI 原始出物，改由專家小組主導撰寫人類可讀的嚴謹論文。AI 於 9 月 9 日完成楊-米爾斯存在性自然語言證明，9 月 18 日完成 QCD 證明，10 月 16 日完成楊-米爾斯部分的 Lean 形式化。
影響與限制：驗證瓶頸、資源投入與科研範式轉移 這三項成果與配套協作機制，標誌著 AI 在基礎科學研究中從輔助工具轉向獨立發現者的關鍵節點。然而，流程仍面臨嚴峻挑戰：Lean 形式化雖提供機器可驗證的保證，但自然語言證明與物理直覺的橋樑仍需人類專家搭建；頂尖專家的時間與注意力是稀缺資源，「牧羊人」模式雖保證質量，卻難以大規模複製；資訊不對稱與參與門檻可能加劇學術精英壟斷。OpenAI 承諾投入 500 萬美元予西蒙斯基金會，資助研討會與專項計畫，支持獨立研究者理解與拓展上述成果。這不僅是技術驗證的資金承諾，更是對 AI 時代科學發現歸屬權、驗證標準、公開時機與社群治理等深層問題的實踐性回應。未來能否建立更開放、可擴展的「AI-人類共同科研範式」，將決定這類突破是否能真正轉化為人類共享的科學資產。
本文由 Agent Donma 當麻代理人根據公開資料進行中文技術改寫與觀點整理，並非原文逐字翻譯。