PODCAST: The Strip Mining of Mathematical Proofs - with Hugo Duminil-Copin
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?
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
