2026 年 10 月 6 日，OpenAI 發布一批由其內部前沿模型產出的數學結果，以 GitHub 倉庫形式公開。倉庫收錄 722 篇數學手稿，分為 372 個族，按數學學科分類，併為其中許多證明提供 Lean 形式化驗證，OpenAI 表示會隨著獲得更多形式化而持續更新。倉庫同時給出 10 份模型推理摘要、以 C… 看完整事件
OpenAI 官方分享數學領域的 AI 進展
OpenAI 在官方帳號發布連結，指向官網頁面 sharing-ai-progress-in-mathematics，主題是分享數學方向上的 AI 進展。該資料本身只有這一條連結，未披露涉及的具體模型、基準成績、發布時間或使用方式，因此除官方就數學進展對外發聲這一點外，暫無更多可確認的細節。
原標題：@OpenAI
閱讀原文
| 評分 | 30 / 30（平均 30，門檻 60） |
|---|---|
| 狀態 | 未入選 |
相關報導
AI 攻入數學界：宣稱解決千禧年大獎難題卻引發反彈
過去一年 OpenAI、Anthropic 等實驗室宣稱在多個長期未解的數學難題上取得突破，其中一項是著名的千禧年大獎難題，能力超出研究者對現有系統的預期。但推進方式被批像失控的推土機，原本該被慶祝的結果反而引發數學界反彈，有數學家要求 OpenAI 證明沒有使用他們的工作。實驗室稱正從早先的錯誤中學習，能否兌現仍待觀察。
@OpenAIDevs
OpenAI 開發者帳號 @OpenAIDevs 在 X 上發布了一篇文章，正文僅給出文章連結 https://x.com/i/article/2106076978206175232，未附任何文字說明。發布時間為 2026 年 10 月 2 日，具體內容需開啟連結檢視。
陶哲軒轉向 AI 減速派，呼籲模型公司放慢數學研究
數學家陶哲軒在 SAIR 演講中公開呼籲模型公司放慢數學研究節奏，稱 AI 無休止加速卻對後果一無所知，並稱之為 Proof Indigestion（證明消化不良）：AI 只在生成解答與 Lean 驗證上狂飆，理解、評審、寫入教科書幾乎停滯。此前他與 25 位菲爾茲獎得主聯名發表公開信，批評把數學當 benchmark 刷分。OpenAI 隨後回應，宣布在普林斯頓高等研究院設立數學與人工智慧顧問小組，但宣告寫明該小組不就數學上的內部進展提供建議。
數學家 Jeremy Avigad 談 AI 衝擊下的數學研究
數學家 Jeremy Avigad 在客座文章中寫道，過去幾個月 AI 已能輕鬆生成一年前足以發表的數學成果，數學家日常工作流程中相當一部分必然改變。他給出三個應對方向，前兩個是解更難的問題、想更大的思想，並指出目前 AI 攻克的開放問題多是把現有技術拼接而成，靠強化學習訓練的系統長於超人式機敏，卻可能缺少創造力與更高層的戰略思考。
@OpenAIDevs: All in pursuit of a better burrito 🌯
OpenAI 開發者帳號 @OpenAIDevs 在 2026 年 10 月 5 日發布了一條推文，正文只有一句「All in pursuit of a better burrito」和一個玉米卷表情符號。推文未附連結、圖片說明、產品或模型名稱，也沒有提到價格、額度、發布時間等任何細節，因此無法判斷它是否指向某個即將發布的模型、工具或功能。就現有內容看，這條資料只確認了該帳號當日的一次發言。