OpenAI model beats mathematicians on their own problem: it had the proof since Sep 9

Two mathematicians published their work on Yang-Mills theory on Oct 6, and on Oct 26 OpenAI showed a proof that had been ready since September.