デビッド・グロス氏率いる物理学者ら、量子ヤン＝ミルズ理論の存在を示すOpenAIのAI生成証明を検証

なぜ重要か

ヤン＝ミルズ問題はクレイ研究所の未解決ミレニアム懸賞問題5つのうちの1つで、賞金は各100万ドル。理論の存在証明と質量ギャップの証明の2部からなる。OpenAIは10月下旬に存在部分の解決を主張したが、証明をすぐ公開せず「羊飼い」委員会に委ねた。委員会はOpenAIのAstraモデルでLeanコードを読み解いたとし、証明をまだ完全には理解していないと認めている。NYUのスコット・アームストロング氏ら数学者はこの囲い込みを批判した。今後はLeanコードの独立検証と質量ギャップをめぐる動きが焦点となる。