
OpenAI は、数学の最も重要な難問の一つとされる千年問題の解決を主張した。MIT Technology Review AI がこの発表を伝えた。
報道は、数学的な成果がほぼすぐに議論の的となったと指摘している。通常の展開であれば、このような解決は OpenAI にとって大きな成功となっていただろう。
現時点での意義は限定的だ。証拠の証明文や方法の詳細、独立した確認は入手可能な資料には含まれていない。したがって、主要な疑問は、専門家が主張された結果を検証し、それが対応する千年問題の解決として認定できるかどうかである。
編集部コメント
なぜ重要か
おそらく今後、AI が主張する数学的成果の検証手順への関心が高まる。次に観測されるサインは、証拠の公開と独立系の数学者による評価である。重要な不確実性は残っており、入手可能な資料には問題設定、方法、論争の内容の詳細が欠如している。