What if the next new mathematical discovery didn’t come from a human mind, but from an AI? Imagine a machine not just crunching ...