10 月 6 日，OpenAI 在 GitHub 倉庫 openai/math 公開了由一個尚未發布的內部前沿模型產出的 722 篇數學手稿，歸入 372 個「成果族」，覆蓋數論、代數幾何、理論計算機、數學物理等 17 個方向。據 OpenAI 說明，模型在既有數學評測飽和後轉向開放研究問題，共嘗試約 4000 個問題… 看完整事件
數學家集體回應 OpenAI 解出百餘道開放問題
OpenAI 10 月 6 日宣布解決 100 多道數學開放問題後，社群網站 Proofs and Prompts 彙集了 100 多條數學家署名的反應，並持續更新至 10 月 9 日。反應中提到的結果包括 Thompson 群 F 非順從、Eilenberg–Ganea 猜想為假、Boone–Higman 猜想被完全解決，以及 Borel 猜想在四維失效、粗 Baum-Connes 猜想失效。
署名的即時反應合集，直接點出哪些猜想被解決或失效，並說明證明品質參差、核驗需數月，是判斷這波 AI 數學進展的第一手材料。
原標題：Reactions to 100 Solutions
閱讀原文
| 評分 | 90 / 86（平均 88，門檻 76） |
|---|---|
| 狀態 | 精選 |
相關報導
OpenAI 單日發布 372 項數學成果，含 Unique Games 猜想證明
OpenAI 於 10 月 6 日一次性發布 372 項數學成果，其中包括 Subhash Khot 的 Unique Games 猜想證明，部分結果附有 Lean 證書，但並非全部。截至目前似乎還沒有人類讀懂這些證明，理解它們的競賽才剛剛開始。作者妻子、複雜度理論家 Dana Moshkovitz 長期研究 UGC，她稱論文寫得極差、必須靠 AI 輔助才能閱讀，證明構造出一種全新的遞迴編碼與噪聲測試。
OpenAI 等實驗室攻克數學難題引發學界反彈
過去一年，OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題，其中甚至包括一道千禧年大獎難題，進展超出研究人員預期。但這些實驗室以矽谷式的高速推進，本應被慶祝的成果反而招致學界反彈，有數學家要求 OpenAI 證明未使用其工作成果，也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習，承諾能否兌現尚待觀察。