On: OpenAI withdraws three mathematical results

[didroe]

I think it's more likely the millions of dollars of compute than the model, in many cases.