Show Notes
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
More from The Numberphile Podcast
A leading light in mathematics for much of his life, Terence Tao discusses the crisis being caused by a massive dump of AI proofs.
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/