OpenAI 在 10 月 6 日於 GitHub 公開 722 篇由內部模型生成的數學手稿；不到一天後，公司便撤回其中三篇。原因不是新的研究結論推翻了舊結果，而是一篇論文的關鍵論證把符號寫錯，讓核心推導站不住腳，並連帶影響另外兩篇依賴該研究的論文。2435

這次事件提醒讀者：研究成果公開供人檢視，不代表其中的每項主張都已獲獨立驗證。

722 篇手稿，不等於 722 個獨立結果

OpenAI 於 10 月 6 日發布由尚未公開的內部模型產生的數學手稿。研究涵蓋代數、幾何、電腦科學等領域，並分成 372 個「研究系列」；每個系列可能包含主要結果、補充論證、推論，或其他證明方式。13538

因此，722 篇手稿並不代表 722 項彼此獨立的成果。有些論文共用同一套論證或構造，一篇的錯誤也可能波及其他依賴它的研究。這正是此次撤回事件的關鍵。124

關鍵符號出錯，三篇論文一併撤回

問題出在 Algebraicity of Weil classes on split abelian eightfolds。論文在一段關鍵推導中，將某項幾何操作的符號記為 +1；但按照論文採用的約定，正確符號應為 −1。這個錯誤破壞了原本用來支持論文構造的抵消論證。212427

另外兩篇手稿——Algebraicity of Kuga–Satake Correspondences for K3 Surfaces 和 The rational Hodge conjecture for products of K3 surfaces——依賴第一篇的相關工作。基礎論證失效後，這兩篇論文原先依靠該論證支撐的主張也無法成立，因此 OpenAI 一併撤回三篇。212435

這代表相關論文的證明出了問題，並不等於它們探討的猜想已被推翻。212435

更新紀錄：撤回 3 篇、修訂 14 篇

OpenAI 於 10 月 7 日更新資料庫：撤回三篇手稿、修訂另外 14 篇，並更新 13 篇相關論文的引用。目錄中的手稿總數由 722 篇降至 719 篇，仍分屬 372 個研究系列。12428

資料庫與 OpenAI 的發布說明都指出，這批成果處於不同的驗證階段，也提醒其中可能存在錯誤。OpenAI 表示，發布方式曾參考數學與人工智慧諮詢小組的建議。這些背景適合用來理解這批材料的定位：它們是供外界檢視的研究成果，不是已經定案的發現清單。13339

Lean 證明能檢查什麼？又不能代表什麼？

部分研究附有 Lean 形式化證明。Lean 是一種證明助理，可以讓電腦檢查已形式化的數學推導。不過，現有資料採用的統計單位並不一致：一份摘要稱 719 項主要結果中約有 300 項完成形式化；另一份資料則計算 722 篇手稿中，有 162 篇為主要結果提供形式化證明。253336

兩組數字的計算對象不同，不宜直接混為一談；也不能據此推論，某篇論文裡的所有主張都已經過獨立驗證。形式化證明能檢查被寫入系統的推導，但讀者仍須留意證明涵蓋的範圍，以及論文中的其他論證和前提。253336

OpenAI 曾諮詢數學與人工智慧諮詢小組，部分成果也提供形式化證明，這些資訊有助於理解發布背景，但並不能取代對論文內容的審查。此次撤回也顯示，當多篇論文共用論證時，檢查彼此之間的依賴關係同樣重要：一處錯誤，可能影響不只一篇手稿。243339

撤回三篇，不能替其餘手稿背書

這次撤回確認的是：一項特定論證失效，另外兩篇依賴它的論文也無法再以該論證作為支撐。它既不能證明其餘手稿都錯，也不能證明它們都正確。每項結果仍須根據自身的證明、前提，以及與其他研究的關聯逐一評估。12135

OpenAI 在 10 月 6 日於 GitHub 公開 722 篇由內部模型生成的數學手稿；不到一天後，公司便撤回其中三篇。原因不是新的研究結論推翻了舊結果，而是一篇論文的關鍵論證把符號寫錯，讓核心推導站不住腳，並連帶影響另外兩篇依賴該研究的論文。2435

這次事件提醒讀者：研究成果公開供人檢視，不代表其中的每項主張都已獲獨立驗證。

722 篇手稿，不等於 722 個獨立結果

OpenAI 於 10 月 6 日發布由尚未公開的內部模型產生的數學手稿。研究涵蓋代數、幾何、電腦科學等領域，並分成 372 個「研究系列」；每個系列可能包含主要結果、補充論證、推論，或其他證明方式。13538

因此，722 篇手稿並不代表 722 項彼此獨立的成果。有些論文共用同一套論證或構造，一篇的錯誤也可能波及其他依賴它的研究。這正是此次撤回事件的關鍵。124

關鍵符號出錯，三篇論文一併撤回

問題出在 Algebraicity of Weil classes on split abelian eightfolds。論文在一段關鍵推導中，將某項幾何操作的符號記為 +1；但按照論文採用的約定，正確符號應為 −1。這個錯誤破壞了原本用來支持論文構造的抵消論證。212427

另外兩篇手稿——Algebraicity of Kuga–Satake Correspondences for K3 Surfaces 和 The rational Hodge conjecture for products of K3 surfaces——依賴第一篇的相關工作。基礎論證失效後，這兩篇論文原先依靠該論證支撐的主張也無法成立，因此 OpenAI 一併撤回三篇。212435

這代表相關論文的證明出了問題，並不等於它們探討的猜想已被推翻。212435

更新紀錄：撤回 3 篇、修訂 14 篇

OpenAI 於 10 月 7 日更新資料庫：撤回三篇手稿、修訂另外 14 篇，並更新 13 篇相關論文的引用。目錄中的手稿總數由 722 篇降至 719 篇，仍分屬 372 個研究系列。12428

資料庫與 OpenAI 的發布說明都指出，這批成果處於不同的驗證階段，也提醒其中可能存在錯誤。OpenAI 表示，發布方式曾參考數學與人工智慧諮詢小組的建議。這些背景適合用來理解這批材料的定位：它們是供外界檢視的研究成果，不是已經定案的發現清單。13339

Lean 證明能檢查什麼？又不能代表什麼？

部分研究附有 Lean 形式化證明。Lean 是一種證明助理，可以讓電腦檢查已形式化的數學推導。不過，現有資料採用的統計單位並不一致：一份摘要稱 719 項主要結果中約有 300 項完成形式化；另一份資料則計算 722 篇手稿中，有 162 篇為主要結果提供形式化證明。253336

兩組數字的計算對象不同，不宜直接混為一談；也不能據此推論，某篇論文裡的所有主張都已經過獨立驗證。形式化證明能檢查被寫入系統的推導，但讀者仍須留意證明涵蓋的範圍，以及論文中的其他論證和前提。253336

OpenAI 曾諮詢數學與人工智慧諮詢小組，部分成果也提供形式化證明，這些資訊有助於理解發布背景，但並不能取代對論文內容的審查。此次撤回也顯示，當多篇論文共用論證時，檢查彼此之間的依賴關係同樣重要：一處錯誤，可能影響不只一篇手稿。243339

撤回三篇，不能替其餘手稿背書

這次撤回確認的是：一項特定論證失效，另外兩篇依賴它的論文也無法再以該論證作為支撐。它既不能證明其餘手稿都錯，也不能證明它們都正確。每項結果仍須根據自身的證明、前提，以及與其他研究的關聯逐一評估。12135