10 月 6 日，OpenAI 通過部落格、推文和 GitHub 倉庫 openai/math 公開一批由尚未發布的內部前沿模型產出的數學成果，發布方式諮詢了高等研究院（IAS）的數學與 AI 獨立顧問組 AGMAI。倉庫收錄 722 篇手稿，歸為 372 個成果族，來自約 4000 個開放研究問題的評估，平均每個結果… 看完整事件
OpenAI 突然發布大量數學成果，數學家稱需數年消化
OpenAI 本週突然公布了一批數學成果，規模之大讓數十位數學家措手不及，他們用「難以置信」「前所未有」「純粹瘋狂」等詞形容這次投放。多位研究者表示，僅弄清 OpenAI 到底發布了什麼就可能需要數年，更不用說判斷數學家自身在其中處於什麼位置。學界在震驚與興奮之外，也對這批結果的含義和後續影響感到焦慮。
記錄了數十位數學家對 OpenAI 單次成果投放的集體反應，其體量與理解難度被形容為前所未有，適合關注 AI 在數學與科研前沿能力邊界的人。
原標題：‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
閱讀原文
| 評分 | 90 / 85（平均 87，門檻 76） |
|---|---|
| 狀態 | 精選 |
相關報導
OpenAI 等實驗室攻克數學難題引發學界反彈
過去一年，OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題，其中甚至包括一道千禧年大獎難題，進展超出研究人員預期。但這些實驗室以矽谷式的高速推進，本應被慶祝的成果反而招致學界反彈，有數學家要求 OpenAI 證明未使用其工作成果，也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習，承諾能否兌現尚待觀察。
OpenAI 單日發布 372 項數學成果，含 Unique Games 猜想證明
OpenAI 於 10 月 6 日一次性發布 372 項數學成果，其中包括 Subhash Khot 的 Unique Games 猜想證明，部分結果附有 Lean 證書，但並非全部。截至目前似乎還沒有人類讀懂這些證明，理解它們的競賽才剛剛開始。作者妻子、複雜度理論家 Dana Moshkovitz 長期研究 UGC，她稱論文寫得極差、必須靠 AI 輔助才能閱讀，證明構造出一種全新的遞迴編碼與噪聲測試。