If this is the way to superintelligence, it remains a bizarre one. “This is back to a million monkeys typing for a million years generating the works of Shakespeare,” Emily Bender told me. But OpenAI’s technology effectively crunches those years down to seconds. A company blog boasts that an o1 model scored better than most humans on a recent coding test that allowed participants to submit 50 possible solutions to each problem—but only when o1 was allowed 10,000 submissions instead. No human could come up with that many possibilities in a reasonable length of time, which is exactly the point. To OpenAI, unlimited time and resources are an advantage that its hardware-grounded models have over biology. Not even two weeks after the launch of the o1 preview, the start-up presented plans to build data centers that would each require the power generated by approximately five large nuclear reactors, enough for almost 3 million homes.
Indeed, the formal definition actually doesn’t specify how many monkeys will write what given an infinite number of monkeys, it’s unknowable (that’s just how probability is). We just know that it will almost surely happen, but that doesn’t mean it will happen an infinite amount of occurrences.
The infinite amount of time version is just as vague, one monkey will almost surely type a specific thing, eventually, given infinite time to type it. This is because when you throw infinites at probability, all probabilities tend to 1. Given an infinite amount of time, all things that can happen, will almost surely happen, eventually.
But your citation gives both statements:
“In fact, the monkey would almost surely type every possible finite text an infinite number of times.”
and
“The theorem can be generalized to state that any sequence of events that has a non-zero probability of happening will almost certainly occur an infinite number of times, given an infinite amount of time or a universe that is infinite in size.”
So when you say the number of times is “unknowable” the actual answer is “almost surely an infinite number of times” no ? Since the probability of that can be calculated as 100%. The mindfuck part is that it is still possible that no monkey at all will type a particular text, even though the probability of that is 0.
The probability that only 2 monkeys will type the text is also still 0, same as 3 monkeys, 4 monkeys, etc. - in fact the probability of any specific finite number of monkeys only typing out the text is still 0 - only the probability of an infinite number of monkeys typing it out is 100% (the probabilities of all possible outcomes, even when infinite, have to sum up to 1 after all)
Basically, if we know “it will almost surely happen” then we also know just as surely (P=1) that it will also happen an infinite number of times (but it might also never happen, although with P=0)