How would they have gotten that mathematician's progress though? Did that guy also use OpenAI?
If that's the case, it only strenghtens their claims lol. If mathematician decide to use OpenAI's model to do the work, that only reiterates how strong their models are.
It should be clear to everyone reading this now that those generous compute quotes with the flat rate plans aren't charity.