Fetching from the wire…
Public story · 2026-03-21 · source-backed
In a Dwarkesh Patel interview, Fields Medal laureate Terence Tao says current AI progress in math is "still brute force" without genuine conceptual understanding, but expects AI to transform experimental mathematics by enabling computational exploration of millions of conjectures. The sharp distinction between proof-checking (where AI excels) and creative leaps (where it falls short) is a grounded counterbalance to benchmark-driven reasoning hype.
Each link below shares sources, entities, or timing with this story.
Terence Tao uses ChatGPT / Shared entity: Terence Tao / What happened next / Tension
Linked by a graph relationship (Terence Tao uses ChatGPT); both cover Terence Tao; picks up the Terence Tao thread on 2026-08-04.
Terence Tao uses Lean / Shared entity: Terence Tao / What happened next
Linked by a graph relationship (Terence Tao uses Lean); both cover Terence Tao; picks up the Terence Tao thread on 2026-08-02.
Shared entity: Dwarkesh Patel / Same source domain / What happened next / Tension
Both cover Dwarkesh Patel; reported by the same outlet (youtube.com); picks up the Dwarkesh Patel thread on 2026-08-12.
Both cover Dwarkesh Patel; reported by the same outlet (youtube.com); picks up the Dwarkesh Patel thread on 2026-06-24.
Terence Tao supports Liam Price / Shared entity: Terence Tao / What happened next
Linked by a graph relationship (Terence Tao supports Liam Price); both cover Terence Tao; picks up the Terence Tao thread on 2026-08-06.
Shared entity: Dwarkesh Patel / Same source domain / What happened next
Both cover Dwarkesh Patel; reported by the same outlet (youtube.com); picks up the Dwarkesh Patel thread on 2026-06-28.
Terence Tao uses ChatGPT / Shared topic
Linked by a graph relationship (Terence Tao uses ChatGPT); overlapping topics (between, enabling).
Shared entity: Dwarkesh Patel / What happened next / Tension
Both cover Dwarkesh Patel; picks up the Dwarkesh Patel thread on 2026-08-03; pushes against this story (against).