Can math stay human in the age of AI?

As AI churns out mathematical proofs, a DeepMind study raises a bigger question: What do we lose when we focus only on the answers?