AI Is a Math Genius. That’s the Problem.
AI can produce flawless mathematical proofs, but it lacks the ability to distinguish trivial from profound. The real crisis isn’t whether AI will replace mathematiciansβit’s that we’re losing the art of mathematical storytelling and taste. As Terence Tao notes, AI dwells on trivialities while obscuring the most interesting parts. The bottleneck shifts from computation to problem selection.