> They intentionally threw $15 million in compute at the problem

what? really?

Yes. Maybe much more:

> Such intensive use of AI doesn't come cheap. In a post on X, LisanBench, an LLM benchmark evaluator, estimated that the output tokens alone would cost about $6.5 million at OpenAI's average consumer price. Including the far larger volume of input tokens, the post estimated the total could reach $10 million to $40 million.

https://www.businessinsider.com/openai-math-problem-solved-t...