OpenAI 於 2026 年 10 月 6 日發布一批由內部前沿模型產出的數學成果，並以 GitHub 倉庫形式公開。倉庫收錄 722 篇數學手稿，分為 372 個族，每族包含相關論文，可能包括主要結果、伴隨論證、推論或替代證明，並按數學學科分類。OpenAI 為其中許多證明提供了 Lean 形式化驗證，同時發布 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算，以及嘗試題目數量的統計；平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力，評估期間共提出約 4000 個問題。這些成果來自對開放研究問題的評估，絕大多數由同一個未發布的內部模型完成，部分輸出建立在模型早前結果之上。倉庫內結果處於不同驗證階段，並非都有 Lean 形式化，未形式化的部分可能存在問題；OpenAI 表示將繼續更新形式化證明，並正在探索社群託管的替代倉庫。OpenAI 還稱，在發布方式上與 Institute for Advanced Study 的獨立數學與人工智慧諮詢小組協商，以制定最佳實踐。對數學研究者與形式化驗證社群而言，這批手稿和證明工件可供查閱和進一步檢查，但未形式化結果需要謹慎對待。
AI 根據 2 則報導生成 · 10/7 00:11 更新，有新報導，綜述更新中
沿著報導，了解事件的不同側面；點標題看單篇報導的摘要與原文連結。
OpenAI 公開了一個倉庫，收錄其內部模型產出的 722 篇數學手稿，分為 372 個族，並附部分 Lean 形式化與 10 項結果的推理摘要。這些成果來自對開放研究問題的評估，絕大多數由同一個未發布的內部模型完成，平均每個結果消耗 3 小時 ChatGPT Pro thinking 算力，評估期間共提出約 4000 個問題。倉庫內的結果處於不同驗證階段，並非都有 Lean 形式化，未形式化的部分可能存在問題；
OpenAI 在官方帳號發布連結，指向官網頁面 sharing-ai-progress-in-mathematics，主題是分享數學方向上的 AI 進展。該資料本身只有這一條連結，未披露涉及的具體模型、基準成績、發布時間或使用方式，因此除官方就數學進展對外發聲這一點外，暫無更多可確認的細節。
OpenAI 宣布公開一批由其內部前沿模型產出的數學結果，範圍較廣。OpenAI 表示，發布前諮詢了高等研究院（Institute for Advanced Study）的數學與人工智慧獨立諮詢組，並參考其建議與公開推薦來決定發布方式。公告未披露模型名稱、成果數量與具體內容，僅附一個連結。
OpenAI 於 2026 年 10 月 6 日發布由內部前沿模型產出的多項數學結果，以 GitHub 倉庫形式公開，併為其中許多證明提供 Lean 形式化驗證。倉庫同時給出 10 份模型推理摘要、以 ChatGPT Pro 用量折算的算力估算，以及嘗試題目數量的統計，平均每個結果約消耗相當於 3 小時 ChatGPT Pro 思考的算力。
過去 48 小時，有 1 個獨立來源報導，最近 6 小時新增 1 個。熱度 1.0，熱門榜第 12 名。
熱度以 48 小時內的獨立來源計，同一來源只算一次，每 24 小時權重減半。
同一事件的報導集中在這裡，新的進展會繼續補充。