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