An AI-generated proof on a Millennium Prize problem would be a landmark for AI in mathematics.
A Nobel laureate-led committee validated an OpenAI-generated proof establishing the existence of quantum Yang-Mills theory. The full proof will be released publicly on November 10.