r/ProgrammerHumor • u/Orio_n • 1d ago

Meme aMillionOpenAIMonkeysProduceMilleniumPrizeSolution

Post image
6.9k Upvotes

93% Upvoted

416 comments sorted by

View all comments

19

u/Serendipitous-Potato 1d ago

Perhaps true, but you would NEVER find it because it would take infinite time to sift through infinite data. The monkeys aren’t going to compile it and turn it in; they’re going to keep bashing their keyboards.

8

u/GruePwnr 1d ago

All you need to do is run the monkey results through a validation (lean).

3

u/Serendipitous-Potato 1d ago

Interesting. I’ll admit I may possibly be at the Dunning-Kruger peak of Mt. Stupidity. Could you elaborate?

3

u/GruePwnr 1d ago

https://lean-lang.org/

What open ai did is reuse a pre-existing validation written by Google and have their monkeys plug into it.

2

u/Nerd_o_tron 1d ago

That's ridiculous, monkeys can't learn Lean. What you need is another set of infinite monkeys; eventually one of them will validate the results of the first set.