3 ms·

In other words: Thousand monkeys with a thousand typewriters... https://news.ycombinator.com/item?id=48231974 https://news.ycombinator.com/item?id=48231974

• scarmig 2mo ago
  Take something like (1+x*y)^3*z+y^2*(1+x*y)*(4+3*x*y);y+3*x*(1+x*y)^2*z+3*x*y^2*(4+3*x*y);2*x-3*x^2*y-x^3*z|0,0,-1/4|1,-3/2,13/2 If a thousand monkeys typed at a character per second, on a keyboard with the 23 relevant characters, it would take roughly 10^136 years for them to come up with this counterexample. Though, to be fair to monkey scenario, there's a large family of them known now, so it's not quite this bad: suppose there are a trillion permutations and similar examples that fit in this string. Then we are down to 10^124 years. If LLMs are monkeys, somehow trained LLM weights allow them to model and prune massive numbers of universes in parallel.
  • awesome_dude 2mo ago
    Just FTR - 1 character per second is glacially slow - it's 12 wpm - fine for (slow) transcription, but the monkey typing exercise doesn't require them to know what they are typing out
    • traes 2mo ago
      How fast do your monkeys type?
      • awesome_dude 2mo ago
        Considering it's random characters being typed, and a skilled typist who is aiming to accurately type words out can hit between 70 and 100 words per minute - I would say that my monkeys could "type" an order of magnitude faster than 1 char per second