Reading up on Terence Tao

Scientific discovery emerges from a loop of human question-posing, LLM proposal, external verification, and human curation, not from AI alone.

AlphaEvolve, a Gemini-powered coding agent, has optimized algorithms across genomics, quantum physics, and infrastructure, achieving significant improvements.

A 23-year-old with no math background used ChatGPT Pro to solve a 60-year-old Erdős problem, producing a novel method that experts believe may have broader applications.

Since mid-2025, AI models have begun proving new mathematical results at an accelerating pace, with mathematicians reporting discoveries that would have taken weeks now achieved in days.

The space of cognitive tasks is high-dimensional, so low-dimensional narratives comparing AI and human intelligence are significant oversimplifications.