← Back to context

Comment by lnrd

20 hours ago

> 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...

When I worked at Google, we spent $100M in power on protein folding and drug discovery (this was long before AlphaFold). Never underestimate the willingness of smart rich people to invest in speculative science.