規則

2026年10月26日，OpenAI 宣布其 AI 系統「證明了 ETH 是錯的，而這項結果後來已在 Lean 中驗證。」（參見：https://openai.com/index/building-scientific-understanding-with-academic-communities/） 如果在指定日期 下午11:59 ET 前，透過下列至少一種符合資格的確認方式確認了對指數時間假設的反證，本市場將結算為「是」。否則，此市場將以「否」結算。 「指數時間假設」是指 Russell Impagliazzo 和 Ramamohan Paturi 提出的猜想，亦即 3-SAT 問題無法在次指數時間內求解。「反證」是指任何證明指數時間假設為假的數學證明，包括 OpenAI 在題為「指數時間假設是錯的」的論文中提出的證明（https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf），以及該證明的任何修正、修訂或擴展版本，無論是由 OpenAI 或他人提出。僅確立較弱結果的確認不符合資格，例如只提出不會推翻指數時間假設的更快速演算法，或只證明 OpenAI 的 Lean 程式碼可以編譯。 符合資格的確認方式如下： (i) 同儕審查出版：提出反證的論文，無論作者是 OpenAI 或其他研究人員，已刊登於具聲譽且經同儕審查的科學期刊或同儕審查會議（例如 STOC、FOCS、SODA），或已獲其接受刊登。尚未完成同儕審查的預印本及其他出版物不符合資格。 (ii) 獨立驗證：由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 領導的審查小組、這三位研究人員中的任何一位，或其他未隸屬於 OpenAI 的可信研究人員或研究小組，公開確認某項反證正確。確認必須毫無保留地聲明該反證正確，或指數時間假設為假（例如聲明該證明已經過檢查並確認正確），且必須由驗證研究人員、研究小組或其成員發布，包括透過論文、預印本、網站、部落格或官方社群媒體帳號發布；僅由 OpenAI 轉述的確認不符合資格。確認可以根據對書面證明、Lean 形式化證明或兩者的審查；若確認是根據 Lean 形式化證明，則必須聲明形式化結果證明了指數時間假設為假，才符合資格。表示審查仍在進行、目前尚未發現錯誤，或反證似乎很可能正確的聲明，均不符合資格。 指定日期之後發布或公開的確認不予考慮，即使相關審查是在該日期之前進行。 OpenAI 的員工、承包商和投資人均視為隸屬於 OpenAI。由 Russell Impagliazzo、Ramamohan Paturi 和 Ryan Williams 領導的審查小組及其成員，不會被視為隸屬於 OpenAI。審查小組聲明其參與不應被視為對該主張的認證，不會妨礙該小組或其成員之後作出的符合資格確認被計入結算。OpenAI 或其關聯方的聲明、社群媒體貼文或新聞稿、僅轉述這類主張的媒體報導，以及 OpenAI 發布的 Lean 形式化證明，均不能單獨構成符合資格的確認。 此市場的結算依據將是可信來源及相關科學專家所達成的共識，並由其確認符合資格的確認內容是否可信。

機器翻譯。如有爭議，以原文為準。