Mathematician Terence Tao finds AI doesn't speed up his core problem-solving but makes his papers "richer" by adding complex plots and deeper literature searches. Tasks that were previously infeasible are now easy. AI expands the scope and quality of work rather than just shortening the timeline for existing tasks.

AI is engineered to eliminate errors, which is precisely its limitation. True human creativity stems from our "bugs"—our quirks, emotions, misinterpretations, and mistakes. This ability to be imperfect is what will continue to separate human ingenuity from artificial intelligence.

Expert mathematicians adopt formal tools like Lean not primarily to catch errors, but to offload tedious, low-level deductions. This automation allows them to operate at a higher level of abstraction and focus their cognitive energy on creative intuition and problem-solving strategy.

The act of working through a project over time is where the best ideas are discovered. Shortcutting this tedious process with AI might produce a result faster, but it will likely be far worse because it skips the essential journey of discovery and transformation.

The solution to the Erdős unit distance problem stands out not for its computational power, but for its creativity. The AI imported classical techniques from an entirely different mathematical field, a hallmark of human ingenuity, and produced a fruitful result that sparked further human research.

True creative mastery emerges from an unpredictable human process. AI can generate options quickly but bypasses this journey, losing the potential for inexplicable, last-minute genius that defines truly great work. It optimizes for speed at the cost of brilliance.

AI models are designed to find the most common, expected outcome based on vast data. True creative breakthroughs, however, come from identifying the unexpected, counter-intuitive exception. AI can scale production and iteration, but the core human ability to go against the grain remains irreplaceable.

The core fear isn't just automation, but that AI will mechanistically solve existing problems without the creative leap that opens up entirely new fields of research. This could leave the discipline sterile, with a list of solved questions but no new avenues for human-led discovery.

AI models tend to produce short, clever mathematical proofs. This is likely not a sign of elegance, but a limitation. They lack the ability to reliably verify their own correctness over long, complex arguments, so they are constrained to producing outputs that are short enough to be checked by humans or other systems.