Show Notes
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
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
More from The Numberphile Podcast
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?
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).
A growing number of people claim being “test blind” to applicants’ SAT scores is lowering standards at the University of California. Math Professor Zvezda Stankova is among the academics calling for SATs to be re-introduced to the admissions process.
Destin Sandlin discusses missile testing, astronaut applications, and why he created the wildly popular YouTube channel Smarter Every Day.
Dan Harris is a chief meteorologist at the UK Met Office - https://www.metoffice.gov.uk/