No More Heroes - Terence Tao on AI

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://us.macmillan.com/books/9780374621797/sixmathessentials/

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