A HackerNews comment about the impressiveness of the agents bazooka style math proofs:

"It's literally the infinite monkey theorem, it's not even really a strategy per se.

These OpenAI/Anthropic 'research' LLMs are permutation machines with budgets in the hundreds of millions of dollars.

It would be more surprising if they couldn't string together something workable after a zillion tokens."

The infinite monkey theorem doesn't require the monkeys to be smart.

But if the monkeys are geniuses, you start getting results with merely billions of dollars of tokens.^[a]