Life Our number's up: Machines will do maths we'll never understand. Software is already cracking theorems that humans have struggled to prove. Future computers could take mathematics to places ...