OpenAI 撤回 3 篇 AI 生成數學論文，起因是一個正負號錯誤
OpenAI 10 月 6 日在 GitHub 公開一批由內部未發布模型產出的數學手稿，隔天就撤回其中 3 篇。根據該專案的更新紀錄，原因是其中一篇的正負號錯誤讓一個關鍵論證失效，連帶拖垮兩篇以它為基礎的論文。
一個正負號錯誤，連帶撤回兩篇霍奇猜想相關論文
出錯的是《Algebraicity of Weil classes on split abelian eightfolds》。OpenAI 說明，這篇論文的正負號錯誤讓一個穩定化與跡相消的論證失效，而另外兩篇論文都用到同一個構造。一起撤回的是《Algebraicity of Kuga–Satake Correspondences for K3 Surfaces》與《The rational Hodge conjecture for products of K3 surfaces》，後者處理的是 K3 曲面乘積的有理霍奇猜想。被撤回的論文頁面現在附有說明缺口的公告，並連結到封存版本。
同一天，OpenAI 也修訂了另外 14 篇手稿，包括修補證明、更正命題、釐清假設與相依關係，並連帶更新 13 篇論文引用的版本。另外新增 6 個 Lean 形式化證明。Lean 是讓電腦逐步檢查證明是否正確的程式語言，目前 719 篇中已有 300 篇的主要結果完成形式化，約 42%。OpenAI 研究員 Dan Roberts 在 X 上表示，之後會持續新增形式化證明，並更新發現的勘誤。
廣告 - 內文未完請往下捲動
每個結果平均用 3 小時運算，約 4,000 道題目篩出 719 篇
根據專案說明，這批手稿來自 OpenAI 拿開放研究問題評估內部模型的結果，原因是模型在既有數學評測的表現已經飽和。絕大多數結果用同一套流程產出，每個結果平均使用 3 小時的 ChatGPT Pro 思考運算；評估期間總共給模型約 4,000 道題目，再依重要性整理成目前的 372 個系列、719 篇手稿。OpenAI 在說明中坦言，不是所有結果都有 Lean 證明，「部分未形式化的結果可能有問題」。
人類數學協會批 700 多份檔案「不是在展現學術，而是在展現權力」
這批手稿也引發數學界反彈。人類數學協會（Association for Human Mathematics）10 月 7 日發表聲明，菲爾茲獎得主陶哲軒隨後在個人部落格以客座文章形式轉載。聲明由該協會的通訊工作小組署名，表示數學家並沒有要求做這件事，並指 OpenAI 宣稱從「數學與人工智慧諮詢小組」取得正當性，但該小組在首份聲明開頭就表示，前沿 AI 公司不應該用內部模型測試高等數學難題。
聲明寫道：「我們拒絕 OpenAI 所稱此次發布推動了這門學科的說法，並呼籲數學家與大眾以應有的懷疑看待這種發表模式。」聲明也說：「一次發布超過 700 份檔案不是在展現學術，而是在展現權力。」並呼籲數學家停止與 OpenAI 合作。
陶哲軒在文章開頭註明這是協會的客座文章，部分留言者也提醒，不應把協會的立場直接當成陶哲軒個人的看法。
風險提示
加密貨幣投資具有高度風險，其價格可能波動劇烈，您可能損失全部本金。請謹慎評估風險。
