OpenAI 上週一（10 月 26 日）一次過宣布三項由 AI 模型產生嘅重量級研究成果，最震撼嘅一項係聲稱已經推翻「指數時間假設」（Exponential Time Hypothesis，ETH）——一個電腦科學界由 1999 年開始一直賴以判斷「咩問題先至難解」嘅基石假設。[1][2] 仲未計同一日公布嘅 Kakeya 猜想證明同埋量子場論存在性證明。消息一出，學界反應兩極，連提出 ETH 嘅元老都要親自出手獨立審查，而 Anthropic 更喺數小時後自己都發布咗一個 ETH 反證。[2] 我哋今次拆解三項發現嘅內容、點解咁重要，同埋對開發者同用家意味住咩。 🧮 乜嘢係 ETH？點解推翻佢咁大件事 ETH 係 1999 年由 UC San Diego 兩位學者 Russell Impagliazzo 同 Ramamohan Paturi 連同 Francis Zane 提出，內容大意係：某類邏輯難題（布爾可滿足性問題，同著名嘅 P 與 NP 問題息息相關）即使係最勁嘅演算法，解題時間都會隨變數數量呈指數級增長。[1] 過去幾十年，數以百計論文用 ETH 嚟證明圖論、計算生物學、資料庫等領域嘅問題「本質上好難快速解決」。[2] 而 OpenAI 話，佢哋嘅內部模型喺 10 月 16 日搵到 ETH 嘅反證，翌日就喺 Lean——一種由機器機械式驗證數學證明嘅形式化語言——完成驗證，模型嘅完整論述同 Lean 證明已經放上 GitHub 公開俾任何人檢查。[1] 簡單講，如果成立，即係存在「次指數級」嘅演算法可以快過大家一直以為嘅速度解決呢類難題。[2] 🔬 同日另外兩項：Kakeya 猜想同量子場論 除咗 ETH，OpenAI 同日仲公布兩項結果。第一項喺調和分析（harmonic analysis）：模型證明咗 Christopher Sogge 喺 1991 年提出嘅局部平滑猜想（local smoothing conjecture）喺所有維度都成立——而呢個結果會同時解決 Kakeya 猜想同 Stein 限制猜想。[1][2] 數學界之前只做到二維局部平滑（2019 年）同三維 Kakeya（2025 年）。[1] 第二項喺理論物理：模型給出咗一類四維交互量子場論——包括描述夸克同膠子強交互作用嘅 QCD——嘅嚴格存在性證明，仲包含純 Yang-Mills 理論存在性嘅證明，後者係千禧年大獎難題之一嘅一部分。[1][2] 值得留意，OpenAI 之前已講明唔會為相關結果（例如 Navier-Stokes 證明）認領千禧年獎金。[1] ⚠️ 學界反應：唔係認證，係開始審查 提出 ETH 嘅 Impagliazzo、Paturi，加埋 MIT 教授 Ryan Williams，將領導獨立小組審查呢個反證。[1] 三人喺公開信寫得好白：「我哋嘅參與唔應該被視為對該主張嘅認證。如此重大嘅結果需要仔細、獨立嘅審視。」[1] Williams 亦向 TechCrunch 表示，證明入面有兩三個「好似外星嚟」嘅部分，正正係要成個學界一齊研究嘅位。[2] 呢單嘢仲有戲劇性後續：Anthropic 數學家 Levent Alpöge 質疑 OpenAI 嘅解法其實係建基於現有工作，數小時後 Anthropic 自己都發布咗一個 ETH 反證。[2] 兩大實驗室同日「撞題」，某程度上反映呢個係 AI for Science 嘅新賽道，唔止係 OpenAI 一家嘅表演。 🔐 密碼學會唔會即刻玩完？ 好多人心底第一個問題係：如果 ETH 假嘅，咁我嘅加密金鑰仲安全唔安全？Williams 話佢第一時間就問咗 OpenAI 科學主管 Dan Roberts：佢哋檢查過之後「有相當信心」呢個結果唔會令現有密碼系統即時被破解。[2] 不過 Williams 亦承認，更勁嘅演算法長遠可能令依賴特定金鑰長度嘅密碼系統變得脆弱。[2] OpenAI 亦提醒，將理論突破變成實際演算法改進「需要大量後續研究」。[3] 另外，OpenAI 承諾資助一場學術會議討論電腦科學結果嘅影響，並透過向 Simons Foundation 捐出 500 萬美元支持相關研究。[3] 事實上，今次已經係 OpenAI 兩星期內第二次「證明轟炸」——10 月 6 日佢哋曾一口氣發布 722 篇數學論文，當時 Williams 形容係「對數學家嘅 DDoS 攻擊」。[1][2] 💡 對開發者／用家嚟講意味住咩？ 第一，暫時唔使改任何密碼學實踐。ETH 反證即使最終成立，距離實際更強嘅演算法仲有好遠；OpenAI 同獨立審查者都話現有系統唔會即刻受影響。[2][3] 但長遠睇，密碼學界會開始重新評估「指數難度」呢個安全前提，做安全架構嘅朋友值得留意後續審查結果。 第二，「AI 生成科學發現」由口號變咗流程。今次三項結果用咗三種唔同嘅公開方式：數學結果直接上 GitHub、電腦科學結果由工作小組組織公開審查同會議、物理結果由工作小組自己整理完先發布。[2] 對開發者嚟講，呢種「AI 產出 + 形式化驗證（Lean）+ 獨立學界審查」嘅組合，可能係未來所有 AI 科學宣稱嘅標準檢驗流程——見到任何「AI 證明咗 XXX」嘅新聞，第一件事應該問：有冇 Lean 驗證？有冇獨立審查？ 第三，唔好誇大亦唔好完全當冇到。Williams 提醒，每個電腦科學家「可能要對 P = NP 嘅可能性加返少少權重」，但佢亦相信 OpenAI 嘅演算法「幾乎肯定唔係最優」。[2] 對用家嚟講，實際影響係零；對做研究、做加密、做複雜度理論嘅人嚟講，呢個係十年一遇嘅範式震盪時刻。 📌 延伸 [1] TNW — OpenAI says its AI model has disproved the Exponential Time Hypothesis [2] TechCrunch — Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean? [3] Economic Times — AI models have produced proofs challenging major theories in maths, computing, physics: OpenAI [4] OpenAI Research — Working with academic communities to build scientific understanding （本文為 AI 輔助整理，資料來源截至 2026 年 11 月 2 日。） 文章導覽 台灣「晶片法案」公聽會 AI 晶片輸陸最高囚 10 年 英偉達 11 月 17 日業績成關鍵