OpenAI 喺 10 月 27 日（星期一）官方宣佈，其 AI 模型喺數學、電腦科學同物理學三個領域同時取得重大科學突破。呢三條線，一條係和調分析嘅區域性光滑猜想（local smoothing conjecture），一條係計算複雜性理論嘅指數時間假説（ETH）被正式證偽，第三條係量子場論嘅嚴格數學存在性證明，後者包含克雷數學研究所千禧年大獎難題之一嘅量子楊–米爾斯存在性問題。
數學：Sogge 1991 年提出嘅區域性光滑猜想
區域性光滑猜想由 Chris Sogge 喺 1991 年提出，研究波動喺聚焦時嘅行為，核心論點係最極端嘅聚焦現象必然是短暫嘅。呢個猜想在數學分析中極具基礎性，直接隱含掛谷猜想（Kakeya conjecture）同 Stein 限制猜想。2019 年，Guth、Wang 同 Zhang 先喺二維空間完成證明。
OpenAI 稱其 AI 模型產出咗適用於所有空間維度嘅完整證明。自然語言證明喺 10 月 18 日生成，次日（19 日）完成 Lean 形式化驗證（即由電腦逐行核對邏輯嘅形式證明），檔案已公開於 GitHub。
羅切斯特大學數學教授 Alex Iosevich，即猜想提出者 Sogge 嘅博士生，稱呢個係「歷史性發展」，佢話自己「起初收到消息都係震驚」，並預期理論數學會因為 AI「徹底改變」。佢話：「我有一點哀傷。我認識嘅好幾位理論數學家都有同樣感受，但我堅信呢種感受很快會被『原來我哋可以做咁多』嘅覺悟取代。」
電腦科學：指數時間假説被推翻
三項突破之中震動最大嘅係呢項。指數時間假説（ETH）研究布林公式可滿足性問題嘅計算難度，同 P 同 NP 問題密切相關。學界長期以此為前提推導咗數百篇論文，涵蓋圖論、計算生物學、資料庫同計算幾何。
OpenAI 嘅系統喺 10 月 16 日找到 ETH 嘅自然語言反證，10 月 17 日完成 Lean 形式化證明。ETH 嘅原始提出者 Impagliazzo 同 Paturi（加州大學聖地牙哥分校）同 Williams（麻省理工學院）將共同領導外部驗證小組。OpenAI 承諾公開所有原始資料，並資助一場會議。
OpenAI 同時坦言，找到實際演算法同轉化為實務改善仍然需要大量後續研究。
物理學：量子楊–米爾斯存在性證明
AI 產出咗四維含規範場同費米子嘅互動式量子場論嘅嚴格數學存在性證明，包含量子色動力學（QCD）同粒子物理標準模型嘅統一完成，作為子問題亦包含純楊–米爾斯理論存在性嘅證明，即克雷數學研究所千禧年大獎難題之一。
外部驗證小組由 2004 年諾貝爾物理學獎得主 David Gross 領導，成員包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 同 Nikita Nekrasov。由於篇幅同複雜度極高，呢項成果嘅原始材料現時暫不公開，驗證小組會自行撰寫正式論述。
三種不同嘅「放出去」方式
OpenAI 喺今次發布中實驗咗三種不同嘅學術合作策略：數學成果直接公開 AI 輸出；電腦科學成果由外部合作者群組解釋，同時公開原始資料供任何人審查；物理學成果則完全交由外部合作者主導發布。
外部合作遵循四項原則：透明（不簽保密協議）、不索求學術署名、給予合作群組適當認可、獨立（參與自發且無薪）。
OpenAI 亦宣佈向 Simons 基金會捐款 500 萬美元，用於支援工作坊、會議同特別專案。
模姐驗嚇貨：三項突破各自嘅外部驗證安排唔同，數學同電腦科學嘅檔案已經放喺 GitHub，物理學仲要等呢批人交功課。話乜都係 OpenAI 宣佈，最終係咪真嘅突破，要等獨立學者逐條核完先講得實。千禧年難題唔係憑一條新聞就算解到嘅。
模姐｜深度調教
