Humans still excel at posing the right questions and finding truly novel, insightful proofs. AI just brute-forces.