AI 與科技 / 晨間研究發佈
數學稿件公開了，但“發佈”還不等於“證明成立”
OpenAI 在北京時間10月7日06:19宣佈公開內部模型產生的數學成果。其倉庫當前列出722份稿件、372個關聯問題族；約4000是模型嘗試的問題數，不能寫成4000項已經證明的定理。
同一個問題族可以包含主結果、補充論證、推論或替代證明，因此稿件數也不等於獨立突破數。公司同時公開部分 Lean 形式化證明、10份推理摘要與計算用量說明；Lean 讓計算機檢查形式化證明，仍須看具體命題和假設。
倉庫明確說核驗階段不同，未形式化的結果可能有問題，後續修訂會保留舊版本。模型尚未公開；平均每項結果約相當於三小時 ChatGPT Pro 思考計算量，是其披露口徑。本報核對的是目錄和發佈規則，未逐篇檢查證明，不能據此宣佈黎曼假設等難題已獲解決。
出處與繼續閱讀
主編加工 · 來源與限制見正文
取材線索來自已核對關注賬號：@OpenAI。