OpenAIの「羊飼い」が画期的な物理学成果を確認
概要
OpenAIは、素粒子物理学の標準模型の重要な基礎である量子Yang-Mills理論の「存在性」に関するAI生成の証明を公開した。理論物理学者David Grossが率いる委員会は、Leanにおける証明の形式検証を確認し、標準的な問題設定の下で純粋Yang-Mills理論の存在を証明していると認定した。この証明はYang-Millsミレニアム懸賞問題の最初の部分を解決するが、より困難な「質量ギャップ」部分は未解決のままである。委員会は証明を完全には理解していないと認めたが、コミュニティによる精査のためにLeanコードを公開した。この「羊飼い」方式は、よりオープンで迅速な結果共有を主張する一部の数学者から批判を浴びている。
(出典：Scientific American)