I think this is more or less exactly what Chomsky hoped (hopes?) AI research would eventually become, rather than the purely pragmatic pursuit of tool making it has typically been.