Humans still excel at posing the right questions and finding truly novel, insightful proofs. AI just brute-forces.
Brute-force as an approach, or partial approach, might only become feasible with more computing power. Decades ago, we had less computing power.