OpenAI model or completion of half of the Yang-Mills problem proof

According to MTS, OpenAI's artificial intelligence model has proven half of a million-dollar Millennium Prize problem in the field of physics, supported by a review panel led by a Nobel Prize winner. MTS stated that this problem is the Yang-Mills problem. OpenAI first announced the relevant proof on October 26, stating that its model completed this work in September. The review panel is chaired by Nobel Prize winner David Gross, with members including Arthur Jaffe, who co-authored the official statement of the Millennium Prize problem.

The relevant proof has been formally completed using the linearly verifiable computer language Lean. The Yang-Mills problem is one of the seven Millennium Prize problems established in 2000, each with a prize of one million dollars; the only one solved so far was completed by Grigori Perelman, who refused to accept the prize. MTS pointed out that to win the award, it is still necessary to prove the mass gap and meet the Clay Mathematics Institute's rules regarding publication and a two-year recognition period. X user Theo Jaffee stated that physicists have been able to handle quantum field theory and quantum Yang-Mills theory on an empirical level, but have always lacked a mathematical formalization of why this theory holds.