跳到正文
熱點事件持續更新

OpenAI 的 Yang-Mills 證明暫緩公開

1 篇報道1 個報道來源3 小時前更新

先了解這件事

AI 綜述

OpenAI 聲稱其模型已證明 Yang-Mills 量子理論存在,但受託審閲的五名物理學家表示,確認證明正確前不會公開這份 1,147 頁文件。他們會先核對 Lean 形式化版本中的陳述和定義是否符合物理學與數學標準;若通過,便公開該版本,再展開更廣泛的評估。前一日,九名 AGMAI 數學家曾要求立即公開。報道指出,即使證明正確,也只解決千禧年難題的一半,尚未涵蓋質量間隙問題。

AI 根據報道生成 · 2 小時前更新

報道時間線

沿着報道,瞭解事件的不同側面。

10月28日
  1. Numerama
    五名物理學家暫緩公開 OpenAI 聲稱的 1,147 頁 Yang-Mills 理論存在性證明

    OpenAI 聲稱其模型已證明 Yang-Mills 量子理論存在,但受託審閲的五名物理學家表示,在確認證明正確前,不會公開這份 1,147 頁文件。他們會先核對 Lean 形式化版本的陳述和定義是否符合物理學與數學標準,若通過便公開該版本,再展開更廣泛的評估;九名 AGMAI 數學家前一日曾要求立即公開。即使證明正確,也只解決千禧年難題的一半,未涵蓋質量間隙問題。

本事件熱度走勢

還沒有足夠的連續觀測數據,暫不繪製趨勢。