OpenAI said its models produced the Yang–Mills proof on Sept. 9 and the quantum chromodynamics proof on Sept. 18, and that it finished the Lean formalization of the Yang–Mills existence proof on Oct. 16. David Gross, who shared the 2004 Nobel Prize in Physics for his 1973 work on asymptotic freedom in Yang–Mills theories, will lead a group including Michael Douglas, Arthur Jaffe, Igor Klebanov and Nikita Nekrasov that will shepherd the work. Douglas has tracked the problem for 20 years, Jaffe helped formulate the Yang–Mills Millennium Prize problem and co-founded the Clay Mathematics Institute, Klebanov directs the Simons Collaboration on Confinement and QCD Strings, and Nekrasov won the 2023 Dannie Heineman Prize for Mathematical Physics, the company said. The group decided to hold off releasing the AI-produced materials while it writes up the work itself.
Leave a Reply