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