Comment Church is just a PL (Score 1) 301
It is indeed one component of such an AGI, but it hardly qualifies as a "grand theory" of AI.
I think people at MIT are kind of jealous of AGI theorists, looking at the way they assert their claims of a "unified theory", as if they invented something wholly new and wonderful while making their uber-theoretical brains work on this grand problem that noone else ever thought about.
That is, after decades of dabbling with all sorts of nonsense like those stupid "gesture making" robots and whatnot, they come to realize that probabilistic inference is the key *now*? Like 50 years late?
And they needed the cognitive science department to figure that out? Is it because the AI lab is still infested by behaviorists?
Why didn't they just ask the theorists or make a survey of mathematical AI theories that have been in existence for several decades?????
Is it really surprising that a general purpose AI needs a) probabilistic inference b) a universal computer with probabilistic primitives?
In fact, those turn out to be _some_ of the axioms of a general purpose AI, discovered by Ray Solomonoff in the second half of 20th century.
I am laughing now.