Podcasts · The Numberphile Podcast

The Strip Mining of Mathematical Proofs - with Hugo Duminil-Copin

· 34 min

Episode The Strip Mining of Mathematical Proofs - with Hugo Duminil-Copin

0:00 33:32

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

Links in the notes 12

The episode on the publisher’s site

Shows are listed from Apple Podcasts' charts and directory, and Podcast Index where it is used. Every show and episode belongs to its publisher and plays from the publisher's own feed; this site hosts none of them. Explicit shows are for adult profiles only, and children’s profiles hear only children’s shows. More about this list.