所屬事件:OpenAI 公開 722 篇內部模型數學手稿,數學家稱需數年消化(9 個來源 · 26 則報導)
10 月 6 日,OpenAI 在 GitHub 倉庫 openai/math 一次性公開一批由尚未發布的內部前沿模型產出的數學手稿,併為其中部分證明提供 Lean 形式化驗證;據 Latent Space 報導,發布方式諮詢過高等研究院的數學與 AI 獨立顧問組,成員包括 Timothy Gowers、Edward… 看完整事件
OpenAI 公開 722 篇 AI 數學手稿,菲爾茲獎得主稱研究領域被摧毀
10 月 6 日,OpenAI 在 GitHub 公開 722 篇 AI 數學手稿,分屬 372 個結果族、含 377 項新證明,約三分之一涉及重要猜想,多數由一款尚未發布的內部模型生成,平均每項結果的計算量相當於 ChatGPT Pro 思考約 3 小時。發布兩天後 OpenAI 因錯誤撤回 3 篇,多位數學家指出部分手稿未必真正證明了所聲稱的結論。
OpenAI 首次集中公開數百篇 AI 生成的數學證明,並披露內部未發布模型與算力規模,還出現發布後撤稿,對關注 AI 衝擊科研生態與學術職業的人有參考價值。
原標題:菲尔兹奖得主哭了:AI摧毁了我的研究领域
閱讀原文
| 評分 | 86 / 92(平均 89,門檻 65) |
|---|---|
| 狀態 | 精選 |