Skip to content
TLexDR

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

06-14-25 ▶ 3h 14m 📖 7 min read
Core Takeaways
Terence Tao engineered a blowup in fluid dynamics by altering Navier-Stokes equations, suggesting fluid-based Turing machines.
Why it matters This approach could lead to new computational models and applications in robotics and AI.
The Kakeya Problem reveals that a needle can be turned with arbitrarily small area, challenging intuitive notions of space. ▶ 1:00
Why it matters This challenges traditional mathematical assumptions about space and area, impacting geometric theory.
Tao believes AI can assist in mathematical proofs but struggles with subtle errors and lacks human intuition. ▶ 1:10:00
Why it matters AI's current limitations highlight the need for human oversight in critical mathematical tasks.
The twin prime conjecture remains unsolved, requiring breakthroughs in other mathematical areas. ▶ 2:00:00
Why it matters Understanding prime patterns could unlock new insights in number theory and cryptography.
Lean programming enhances mathematical collaboration, though formalizing proofs takes 10 times longer than traditional methods. ▶ 1:30:00
Why it matters Lean's collaborative potential could revolutionize how mathematicians work together globally.

How the conversation moved

Lex framed the episode by introducing Terence Tao and the central question of tackling the hardest problems in mathematics and physics. Tao began by discussing the Kakeya Problem…

Ask this episode Deep

A preview of how Deep chat answers, grounded in this episode with citations and timestamps:

Cite this episode

For papers, blog posts, anywhere.

Copied!

Related episodes

Where to go next from this conversation.

AI-generated summary · last refreshed 2026-05-30 19:07:49 · how we make these

Quotes are matched verbatim against the source transcript; references are checked to resolve to real URLs. Even so, AI can misread structure or attribute claims imperfectly. If you spot an error, please let us know.

Report an inaccuracy →