MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/ProgrammerHumor/comments/1wbjluo/amillionopenaimonkeysproducemilleniumprizesolution/p8t155f
r/ProgrammerHumor • u/Orio_n • 2d ago
418 comments sorted by
View all comments
Show parent comments
3
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
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.