OpenAI's AI-generated Yang-Mills proof has received independent validation from a group led by Nobel laureate David Gross. The work establishes the existence of quantum Yang-Mills theory, but a crucial question linked to the $1 million Millennium Prize remains unanswered.