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