Terence Tao

2 items

Quanta Magazine 2026-04-14-2

The AI Revolution in Math Has Arrived

AlphaEvolve found hypercube structures in permutation groups that mathematicians hadn't noticed in 50 years: not by answering the question posed, but by surfacing a pattern nobody thought to look for. The real capability shift isn't AI proving things faster; it's AI scanning combinatorial spaces too large for human intuition and returning structures that reframe entire research programs. Discovery is being commoditized; the scarce resource is now verification infrastructure and the human judgment to recognize which discoveries matter.

# tags

ai-for-science reliability agentic-ai-viability deepmind ai-and-human-capacity ai-cognitive-dependency ai-economics OpenAI Google

The Economist 2026-04-11-1

AI mathematicians: By devising and verifying proofs, AI is changing how maths is done

Four independent groups racing to formalize proofs in Lean, and Math Inc. translated Viazovska's sphere-packing work in weeks rather than the decade Hales needed for peer review, but DARPA's Shafto names the real bottleneck as trust, not computation. AI's primary value in mathematics is making claims auditable at scale. That separation between generation and formal verification is the architecture every enterprise AI system will eventually need.

# tags

ai-reliability formal-verification enterprise-ai reliability ai-1.0-defensibility agentic-ai-viability