Re:Open Philanthropy Project awards a grant of $30M to OpenAI
by schoen on Saturday April 01, 2017 @08:45PM
(#14015046)
Those arguments are plausible, and thanks for the clarification.
I just hate to see Rice's theorem interpreted as "nobody can ever know if a program is correct or not". People have been making a ton of progress on knowing if (some) programs are correct, and Rice's theorem never said they can't.
I just hate to see Rice's theorem interpreted as "nobody can ever know if a program is correct or not". People have been making a ton of progress on knowing if (some) programs are correct, and Rice's theorem never said they can't.