Trade-offs: AI can prove big theorems and speed discovery, but we still prize human intuition and the artful spark machines cannot truly grasp.
