AGI: How machine mathematicians may finally deliver AI with human-level reasoning

In pure mathematics, very occasionally, breakthroughs arrive like bolts from the blue – the result of such inspired feats of reasoning and creativity that they seem to push the very bounds of intelligence. In 2016, for instance, mathematician Timothy Gowers…








