OpenAIの新証明の山から最も興奮する主張
概要
OpenAIは、数学、理論計算機科学、物理学における372の未解決問題を解決したと主張する700以上のAI生成原稿を公開した。証明はほとんど検証されておらず、外部の科学者によって誤りが見つかり撤回されたものもあり、Lean証明アシスタントによる認定もすべてではない。それでも、専門家はこれらの結果を驚くべきものと評し、一部の発見は1年前ならトップ研究賞に値するものだった。主な主張には、Riemann予想と準Riemann予想の大幅な進展、Siegel零点問題の解決、Hilbertの第10問題を有理数に一般化した解決、4次元Kakeya予想の証明、Yang-Mills質量ギャップ問題に類似した非線形シグマ模型の解決が含まれる。計算機科学では、OpenAIは行列乗算の高速化（指数2.25）、非ランダム化結果（L = RL = BPL）、一意ゲーム予想の証明、量子計算のユニタリ合成、高速Fourier変換の小さな改善を主張している。多くの結果は画期的だが、一部の論文は理解不能または粗雑と見なされ、完全な検証には時間がかかる。
(出典：Scientific American)