A leading light in mathematics for much of his life, Terence Tao discusses the crisis being caused by a massive dump of AI proofs.

Our playlist of videos on the current AI issue - https://www.youtube.com/playlist?list=PLVsSL1XVSphg

Terence Tao's excellent blog (featuring many guest posts about AI) - https://terrytao.wordpress.com/

Terence’s new book Six Math Essentials is available for pre-order - https://www.quantabooks.org/books/six-math-essentials/

Terence Tao previously on Numberphile - https://www.youtube.com/watch?v=MXJ-zpJeY3E

Our Fields Medal playlist - https://www.youtube.com/playlist?list=PLt5AfwLFPxWIDErJihuPX2S7E-0rnkaeu

Here's the now famous (or infamous) dump of AI proofs - https://github.com/openai/math/blob/main/CONTENTS.md

Numberphile is supported by Jane Street - https://www.numberphile.com/jane-street

With thanks to the Ben Delo Foundation - https://delo.org/

You can support Numberphile on Patreon - https://www.patreon.com/numberphile

Here are our Patrons - https://www.numberphile.com/patrons

Numberphile is created by Brady Haran

Fields Medalist Hugo Duminil-Copin describes how 16 proofs among the hundreds recently published by OpenAI left him in tears. And what next for mathematics?

Watch this interview as a video - https://youtu.be/omuJpoV-Ko4

Hugo’s website at University of Geneva - https://www.unige.ch/~duminil/


The OpenAI drop of AI proofs - https://github.com/openai/math/blob/main/CONTENTS.md

Brady speaks with Grant Sanderson about AI - https://www.youtube.com/watch?v=9HlIuxnuTKQ



Navier-Stokes cracked by AI - https://youtu.be/3geDF-DAwpg



Tristan Buckmaster reacts to Navier-Stokes - https://youtu.be/Mzbtj5nkMXI


Hugo previously on the podcast - https://www.numberphile.com/videos/hugo-duminil-copin-podcast



And Hugo in a Numberphile video - https://www.youtube.com/watch?v=JWtD0O-zSWY

Numberphile is supported by Jane Street - https://www.numberphile.com/jane-street

With thanks to the Ben Delo Foundation - https://delo.org/

You can support Numberphile on Patreon - https://www.patreon.com/numberphile

Here are our Patrons - https://www.numberphile.com/patrons

Numberphile is created by Brady Haran

AI has become the biggest talking point in mathematics. We discussed the topic - and the future - with Grant Sanderson (creator of the 3Blue1Brown YouTube channel).

3Blue1Brown on YouTube - https://www.youtube.com/c/3blue1brown

Grant’s guest post on Terry Tao’s blog - https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it/

A possible Navier Stokes breakthrough - https://www.youtube.com/watch?v=3geDF-DAwpg

Grant Sanderson on Numberphile - https://www.youtube.com/playlist?list=PLt5AfwLFPxWKskQnjSsp3t8Uw2XMz5xYj

Grant previously on the podcast - https://www.youtube.com/watch?v=A0RH93XvSyU

Signals & Threads podcast - https://signalsandthreads.com/

Numberphile is supported by Jane Street - https://www.numberphile.com/jane-street

With thanks to the Ben Delo Foundation - https://delo.org/

You can support Numberphile on Patreon - https://www.patreon.com/numberphile

Here are our Patrons - https://www.numberphile.com/patrons

Numberphile is created by Brady Haran