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

An episode of [The Numberphile Podcast](https://invisiblenetwork.ai/podcast/1441474794), 14 Oct 2026, 34 min.

Audio: https://static1.squarespace.com/static/5b2cf993266c07b1ca7a812f/t/6acf85746edacd234e3ec8e3/1791985025994/podcast_hugo_AI.mp3

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

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.