No More Heroes - Terence Tao Talks to Numberphile About AI

Summary
In this interview for the channel Numberphile, host Brady Haran speaks with UCLA mathematician and Fields Medalist Terence Tao about OpenAI’s October 2026 release of hundreds of AI-generated mathematical proofs. Tao analyzes the shift from “proof scarcity” to “proof abundance,” the threat of losing mathematical understanding in favor of automated outputs, and the cultural and ethical friction between AI companies and the broader academic mathematics community.

What is shown

• [00:08] On-screen graphics displaying OpenAI’s blog post announcement “Sharing AI progress in mathematics” and an excerpt titled “The OpenAI ‘proof dump’ 10:00pm GMT, 6 October 2026.”
• [01:20] Montage of photographs and historical portraits of mathematicians across history (including Ada Lovelace, Carl Friedrich Gauss, Srinivasa Ramanujan, Maryam Mirzakhani, Andrew Wiles, and Terence Tao receiving awards).
• [05:59] Excerpt of an OpenAI paper: “Finite Time Blowup for Navier–Stokes”.
• [08:06] Archival photograph of young Terence Tao working on mathematics alongside Paul Erdős.
• [16:04] Excerpt of OpenAI’s paper abstract: “The Quasi-Riemann Hypothesis: A Zero-Free Half-Plane $\text{Re } s > 7/8$” (dated 30 September 2026).

Claims & numbers

• The presenter and guest note that on 6 October 2026, OpenAI released a batch (“proof dump”) of over 300 (or hundreds of) mathematical proof papers.
• Tao states that OpenAI’s result establishing a zero-free half-plane for $\text{Re } s > 7/8$ on the quasi-Riemann hypothesis is the largest advance on the problem in roughly 50 years, though the method faces known barriers to pushing past $3/4$ without major new ideas.
• Tao explains that he has reviewed approximately 10 of the roughly 300+ papers released by OpenAI, finding a mix of predictable extrapolations, genuine innovations, and unvetted or retracted errors.
• Tao mentions he participates in a private group chat containing approximately 20 Fields Medalists.

Notable quotes

• [00:21] “What I’ve been saying this whole year is that we are transitioning from an era of proof scarcity to proof abundance.” — Terence Tao
• [01:28] “I guess we are seeing the end of the romantic era of mathematics, the age of heroes, which has sort of happened in other disciplines centuries ago.” — Terence Tao
• [18:36] “At the very least, it was extremely rude and discourteous.” — Terence Tao

Assessment
This is a bona fide remote video interview rather than a product demonstration or promotional video. The discussion provides an authentic, high-level expert perspective from Terence Tao analyzing recent automated theorem proving developments and community norms, with no fabricated technical claims.

Described by gemini-3.8-flash on 2026-10-17 from the video’s audio and frames.