所屬事件：OpenAI 公開 722 篇內部模型數學手稿，數學家稱需數年消化（9 個來源 · 28 則報導）
10 月 6 日，OpenAI 在 GitHub 倉庫 openai/math 一次性公開一批由尚未發布的內部前沿模型產出的數學手稿，併為其中部分證明提供 Lean 形式化驗證；據 Latent Space 報導，發布方式諮詢過高等研究院的數學與 AI 獨立顧問組，成員包括 Timothy Gowers、Edward… 看完整事件
OpenAI 公布數百項數學證明，數學家稱領域被摧毀
OpenAI 近幾個月公布數百項數學發現，涵蓋數論、理論電腦科學與邏輯，其中不少證明曾困擾頂尖數學家數十年乃至數百年。2022 年菲爾茲獎得主 Hugo Duminil-Copin 在十月發布後表示「他們摧毀了我的研究領域」，康奈爾大學數學家 Steven Strogatz 也向作者描述了哭泣、迷失與興奮交織的感受。
菲爾茲獎得主等一線數學家公開講述被 AI 數學成果衝擊後的悲傷與迷失，為觀察 AI 對基礎研究及研究者自我價值感的衝擊提供了第一手材料。
原標題：I know why Mathematicians weep
閱讀原文
| 評分 | 82 / 78（平均 80，門檻 76） |
|---|---|
| 狀態 | 精選 |
相關報導
The Verge AIAI 評分52
OpenAI 等實驗室攻克數學難題引發學界反彈
過去一年，OpenAI、Anthropic 等實驗室宣布解決了多個長期懸而未決的數學問題，其中甚至包括一道千禧年大獎難題，進展超出研究人員預期。但這些實驗室以矽谷式的高速推進，本應被慶祝的成果反而招致學界反彈，有數學家要求 OpenAI 證明未使用其工作成果，也有批評指向其行事方式。實驗室表示正在從早期的失誤中學習，承諾能否兌現尚待觀察。