How AI mathematicians might finally deliver human-level reasoning

Artificial intelligence is taking on some of the hardest problems in pure maths, arguably demonstrating sophisticated reasoning and creativity – and a big step forward for AI