OpenAI モデルまたはヤン・ミルズ問題の半分の証明を完成させる

MTSの発表によると、OpenAIの人工知能モデルは物理学分野の百万ドルミレニアム賞問題の半分を証明し、ノーベル賞受賞者が率いる審査委員会によって支持されました。MTSは、この問題がヤン-ミルズ問題であると述べています。OpenAIは10月26日に関連する証明を初めて発表し、そのモデルが9月にこの作業を完了したと報告しました。審査委員会はノーベル賞受賞者のデイビッド・グロスが議長を務め、メンバーにはこのミレニアム賞問題の公式表現を共同執筆したアーサー・ジャッフェが含まれています。

関連する証明は、逐次検証可能なプログラミング言語Leanを用いて形式化されています。ヤン-ミルズ問題は2000年に設定された7つのミレニアム賞難題の1つであり、各賞金は100万ドルです。これまでに唯一解決された問題はグリゴリー・ペレルマンによって達成されましたが、彼は賞金を受け取ることを拒否しました。MTSは、この賞を獲得するには、まだ質のギャップを証明し、クレイ数学研究所の発表および2年間の認可期間に関する規則を満たす必要があると指摘しています。Xユーザーのセオ・ジャッフェは、物理学者たちは経験的に量子場理論と量子ヤン-ミルズ理論を扱うことができるようになったが、この理論がなぜ成立するのかについての数学的な形式化が欠けていると述べています。