Maths nerds, get ready: an AI is about to write its own proofs

We'll see the first truly creative proof of a mathematical theorem written by an artificial intelligence – and soon