Starcast
Join the waitlist
The Strip Mining of Mathematical Proofs - with Hugo Duminil-Copin
Coming soon to iPhone. Already have it? “Listen in Starcast” takes you straight there.
On this episode
About this episode
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…