OpenAI's work on interacting quantum field theories includes a proof of the existence of pure Yang-Mills theory, which is one of the seven Millennium Prize problems