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