Dan Roberts氏のリポスト：調和解析、計算複雑性理論などに関する数学・計算機科学・物理学の3つの新発見を発表します……
OpenAIによると、同社の内部モデルは3つの成果を生み出した。全次元における局所平滑化予想の証明（Kakeya予想とStein制限予想も同時に解決）、Leanで検証された指数時間仮説（ETH）の反証、そしてヤン＝ミルズ理論と量子色力学の厳密な存在証明である。これらはLeanで形式化され、ノーベル賞受賞者デイヴィッド・グロス氏が率いる物理グループを含む外部専門家グループに検証と解説が委ねられた。もし成果が持ちこたえれば、ミレニアム懸賞問題の一部を含む数十年未解決の問題が決着し、AIが補助者から最先端の数学・物理の生産者へ転じる節目となる。
報道ソース
- OpenAI2026-10-26 21:36