MTSLead source
SITUATION EXPLAINED: OpenAI's AI just proved half of a $1M Millennium Prize problem in physics, and a Nobel laureate's panel backs it. • OpenAI first announced the proof on October 26, saying its models produced it in September • The review panel, chaired by David Gross, includes Arthur Jaffe, who co-wrote the official Millennium Prize description of the problem • The proof was also formalized in Lean, a language computers can check line by line • Yang-Mills is 1 of 7 Millennium Prize Problems set in 2000, each worth $1M, and the only one solved so far was cracked by Grigori Perelman, who turned the money down • To win, someone still has to prove the mass gap, then meet Clay's rule of publication plus 2 years of acceptance @theojaffee: "Physicists have been able to deal with quantum…Read original on X