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?

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