The leap AI can’t make is what graduate programmes don’t teach

Machines have mastered pattern-finding and are conquering formal proof. What they lack is the abductive leap that produces new explanations. But while...