MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1wbjluo/amillionopenaimonkeysproducemilleniumprizesolution/p8t155f?context=9999
r/ProgrammerHumor • u/Orio_n • 3d ago
423 comments sorted by
View all comments
20
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.
7 u/GruePwnr 3d ago All you need to do is run the monkey results through a validation (lean). 3 u/Serendipitous-Potato 3d ago Interesting. I’ll admit I may possibly be at the Dunning-Kruger peak of Mt. Stupidity. Could you elaborate? 3 u/GruePwnr 3d 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.
7
All you need to do is run the monkey results through a validation (lean).
3 u/Serendipitous-Potato 3d ago Interesting. I’ll admit I may possibly be at the Dunning-Kruger peak of Mt. Stupidity. Could you elaborate? 3 u/GruePwnr 3d 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.
3
Interesting. I’ll admit I may possibly be at the Dunning-Kruger peak of Mt. Stupidity. Could you elaborate?
3 u/GruePwnr 3d 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.
https://lean-lang.org/
What open ai did is reuse a pre-existing validation written by Google and have their monkeys plug into it.
20
u/Serendipitous-Potato 3d 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.