OpenAI 於 10 月 26 日宣布，其內部模型證偽了理論電腦科學沿用近 30 年的指數時間假設（ETH），數小時後 Anthropic 也發布了自家的 ETH 反駁。此前一日，OpenAI 的 math GitHub 倉庫已掛出標題直稱 ETH 不成立的預印本，該條目在 Hacker News 上熱度不高，僅 2… 看完整事件
OpenAI 稱推翻 ETH，Anthropic 數小時後跟進
OpenAI 公布的三項數學難題解答中，有一項推翻了電腦科學長期依賴的指數時間假設（ETH），數小時後 Anthropic 也發布了自己的 ETH 反駁。MIT 教授 Ryan Williams 與 1999 年提出 ETH 的 Impagliazzo、Paturi 一起組織計算機界回應，發布公開信徵集意見，並要求 OpenAI 出資舉辦會議討論。Williams 稱 OpenAI 已核查該演算法不會危及現有密碼系統，但他認為這未必是最終答案。
ETH 若真被推翻，將動搖大量依賴該假設的複雜性研究；OpenAI 與 Anthropic 前後腳發布、學界以工作組和公開信回應的過程，是觀察 AI 介入基礎科學規範的首個樣本。
原標題：Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?
閱讀原文
| 評分 | 82 / 88（平均 85，門檻 76） |
|---|---|
| 狀態 | 精選 |
相關報導
OpenAI 等實驗室攻克數學難題引發學界反彈
過去一年，OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題，其中甚至包括一道千禧年大獎難題，進展超出研究人員預期。但這些實驗室以矽谷式的高速推進，本應被慶祝的成果反而招致學界反彈，有數學家要求 OpenAI 證明未使用其工作成果，也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習，承諾能否兌現尚待觀察。
OpenAI 單日發布 372 項數學成果，含 Unique Games 猜想證明
OpenAI 於 10 月 6 日一次性發布 372 項數學成果，其中包括 Subhash Khot 的 Unique Games 猜想證明，部分結果附有 Lean 證書，但並非全部。截至目前似乎還沒有人類讀懂這些證明，理解它們的競賽才剛剛開始。作者妻子、複雜度理論家 Dana Moshkovitz 長期研究 UGC，她稱論文寫得極差、必須靠 AI 輔助才能閱讀，證明構造出一種全新的遞迴編碼與噪聲測試。
OpenAI 模型連破數學開放問題，深度優先搜尋加驗證器成關鍵
OpenAI 內部模型 5 月給出 1946 年提出的 Erdős 單位距離猜想的反例，6 月證明 Cycle Double Cover，7 月再解十個開放問題，9 月給出 Navier-Stokes 證明；Anthropic 則形式化了費馬大定理並改進黎曼猜想的界。文章分析稱，LLM 以深度優先方式並行推進多條思路，再用只能校驗完整證明的自動驗證器剪枝，單條思路的試錯成本降到幾分鐘，因此普通甚至看似不可能的提示也值得投入大量算力。