Terence Tao suggests AI may not solve problems like the Riemann Hypothesis alone, but through a 'collaboration we can't yet imagine' blending AI power with human insight.

Publicly discussed how AI tools like Lean could enable high school students to contribute to frontier mathematics research

Commented on AI's role in mathematical research, highlighting brute-force testing vs human pattern recognition

Revealed that AI systems are generating unique mathematical proofs that human mathematicians find novel and interesting

Released video demonstrating Claude Code formalizing mathematical proofs in Lean theorem prover

Publicly declared AI is 'not hype anymore' and a genuine tool for mathematical discovery, marking a paradigm shift.