Comment by ShinyLeftPad

> If OpenAI had never made a push to get good at maths

By snooping on work math researchers were doing on their platform and then overtaking them when sufficiently close to completion? isn't that what happened i'm not sure