2026 年 10 月 6 日，OpenAI 發布一批由其內部前沿模型產出的數學結果，以 GitHub 倉庫形式公開。倉庫收錄 722 篇數學手稿，分為 372 個族，按數學學科分類，併為其中許多證明提供 Lean 形式化驗證，OpenAI 表示會隨著獲得更多形式化而持續更新。倉庫同時給出 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算，以及嘗試題目數量的統計：平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力，評估期間共提出約 4000 個問題。OpenAI 稱發布前諮詢了高等研究院（Institute for Advanced Study）的數學與人工智慧獨立諮詢組，並參考其建議與公開推薦來確定發布方式，包括論文修訂與引用協議，同時也在探索其他符合該委員會指南的社群託管方案。倉庫說明指出，這些結果處於不同驗證階段，並非都有 Lean 形式化，未形式化的結果可能存在問題，OpenAI 表示會盡快修復；據 Hacker News 首頁收錄的倉庫說明，絕大多數成果由同一個未發布的內部模型完成，部分輸出建立在此前模型結果之上。OpenAI 的 X 公告未披露模型名稱、成果數量與具體內容，僅附官網連結。對關注 AI 數學能力與形式化驗證的研究者，這批手稿提供了可公開查證的材料，但未形式化部分仍需自行核驗。
AI 根據 4 則報導生成 · 10/7 01:10 更新
沿著報導，了解事件的不同側面；點標題看單篇報導的摘要與原文連結。
OpenAI 公開了一個倉庫，收錄其內部模型產出的 722 篇數學手稿，分為 372 個族，並附部分 Lean 形式化與 10 項結果的推理摘要。這些成果來自對開放研究問題的評估，絕大多數由同一個未發布的內部模型完成，平均每個結果消耗 3 小時 ChatGPT Pro thinking 算力，評估期間共提出約 4000 個問題。倉庫內的結果處於不同驗證階段，並非都有 Lean 形式化，未形式化的部分可能存在問題；
OpenAI 宣布公開一批由其內部前沿模型產出的數學結果，範圍較廣。OpenAI 表示，發布前諮詢了高等研究院（Institute for Advanced Study）的數學與人工智慧獨立諮詢組，並參考其建議與公開推薦來決定發布方式。公告未披露模型名稱、成果數量與具體內容，僅附一個連結。
OpenAI 於 2026 年 10 月 6 日發布由內部前沿模型產出的多項數學結果，以 GitHub 倉庫形式公開，併為其中許多證明提供 Lean 形式化驗證。倉庫同時給出 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算，以及嘗試題目數量的統計，平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力。
過去 48 小時，有 3 個獨立來源報導，最近 6 小時新增 3 個。熱度 2.9，熱門榜第 4 名。
熱度以 48 小時內的獨立來源計，同一來源只算一次，每 24 小時權重減半。
同一事件的報導集中在這裡，新的進展會繼續補充。