AISpot

搜尋

找到 2 筆;也可以試試 語意搜尋

量子位● 精選AI 評分91

OpenAI 公開兩篇掛谷猜想手稿:三維加強、四維證到 4

OpenAI 在 10 月 7 日一次性放出的 722 篇數學手稿中,編號 074 的兩篇(共 272 頁)專攻掛谷猜想:一篇聲稱證明了比王虹與 Zahl 更強的三維掛谷極大函式猜想,另一篇 175 頁聲稱把四維掛谷集的 Hausdorff 維數從 3.059 直接推到 4。三維那篇用到的區域性擬合等工具還被四維論文引用,兩篇構成一條鏈路。但兩項結果均未經同行評審、未做 Lean 形式化,OpenAI 在 README 中承認未形式化結果可能有問題,陶哲軒牽頭的 AHM 已發宣告反對這種批次發布。

機器之心● 精選AI 評分94

OpenAI 放出 722 篇數學手稿,稱攻下準黎曼猜想等難題

OpenAI 在 GitHub 倉庫 openai/math 公開 722 篇數學手稿,歸入 372 個成果族,全部由一個尚未發布的內部前沿模型產出。據 OpenAI 說明,模型被投餵約 4000 個研究問題,平均每個結果消耗約相當於 3 小時 ChatGPT Pro 思考的算力,手稿日期幾乎集中在 9 月 23 日至 10 月 5 日。372 族中有 235 族附帶 Lean 形式化,約佔六成三;OpenAI 承認未形式化的結果可能存在問題,且未公布模型名稱。