X @OpenAI官方
OpenAI 官方分享數學領域的 AI 進展
OpenAI 在官方帳號發布連結，指向官網頁面 sharing-ai-progress-in-mathematics，主題是分享數學方向上的 AI 進展。該資料本身只有這一條連結，未披露涉及的具體模型、基準成績、發布時間或使用方式，因此除官方就數學進展對外發聲這一點外，暫無更多可確認的細節。
熱點事件 · 持續更新
10/7 00:00最高 2.910/7 02:00
OpenAI 公開內部模型 722 篇數學手稿與 Lean 證明新
4 則報導3 個報導來源10/6 23:22 更新
先了解這件事AI 綜述
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 更新
報導時間線
沿著報導，了解事件的不同側面；點標題看單篇報導的摘要與原文連結。
10月6日星期二 · 2 則
- X @OpenAI官方● 精選
OpenAI 發布內部前沿模型產出的新數學成果
OpenAI 宣布公開一批由其內部前沿模型產出的數學結果，範圍較廣。OpenAI 表示，發布前諮詢了高等研究院（Institute for Advanced Study）的數學與人工智慧獨立諮詢組，並參考其建議與公開推薦來決定發布方式。公告未披露模型名稱、成果數量與具體內容，僅附一個連結。
本事件熱度走勢
為什麼熱
過去 48 小時，有 3 個獨立來源報導，最近 6 小時新增 3 個。熱度 2.9，熱門榜第 4 名。
熱度以 48 小時內的獨立來源計，同一來源只算一次，每 24 小時權重減半。
事件紀錄
- 最早報導
- 10/6 23:17
- 最近更新
- 10/6 23:22
同一事件的報導集中在這裡，新的進展會繼續補充。