So it looks like the timeline is roughly as follows: Aug 15: Buckmaster and Alpoge have a solution to forced Euler and formalized it on Aug 22 Aug 28: OpenAI starts (post?)-training an internal math model that looks insane btw Sept 2: OpenAI hears that 2 (!!) Millennium Prize