Why would human transferable intelligence have anything to do with symbolics or language? Computer languages are already far more effective at problem solving than human languages, hardly even thinks of that as AI.