Yes. I think that we need not only workable solution, but also implementable. If someone create 800 pages pdf starting with new set theory, solution of Lob theorem problem etc and come to Google with it and say: “Hi, please, switch off all you have and implement this”—it will not work.
But MIRI added in 2016 the line of research for machine learning.
Yes. I think that we need not only workable solution, but also implementable. If someone create 800 pages pdf starting with new set theory, solution of Lob theorem problem etc and come to Google with it and say: “Hi, please, switch off all you have and implement this”—it will not work.
But MIRI added in 2016 the line of research for machine learning.