According to CoinMeta, the artificial intelligence model of OpenAI has solved half of a million-dollar Millennium Prize problem in the field of physics, and this solution has been supported by a judging panel led by a Nobel laureate. The problem in question is the Yang-Mills problem. OpenAI first announced the relevant proof on October 26th, stating that its model completed this task in September. The judging panel is chaired by Nobel laureate David Gross, and its members include Arthur Jaffe, who also co-authored the official statement of that Millennium Prize problem. The proof has been formalized using a computer language Lean that can be verified line by line. The Yang-Mills problem is one of the seven Millennium Prize problems established in 2000, each with a prize of one million dollars; to date, only one of these problems has been solved, by Gregory Perelman, who however refused to accept the prize money. To win this award, it is still necessary to prove the quality gap and meet the rules set by the Clay Mathematics Institute regarding publication and a two-year recognition period.