New Math from OpenAI
Notes de l’épisode
OpenAI put 722 machine-written mathematics manuscripts on GitHub at once, including claimed solutions to 90 of the top 500 open problems in mathematics. Zvi Mowshowitz goes through what was proved, why the news barely registered, what it means for cryptography and for Lean, and how mathematicians, from Terence Tao to the advisory group and a new association of human mathematicians, are taking it.
The Don’t Worry About the Vase Podcast is a listener-supported podcast. To receive new posts and support the cost of creation, consider becoming a free or paid subscriber.
This has been an Askwho Casts audio conversion. If you would like your own private feed of audio conversions of any blog posts you would like to listen to, You can sign up For Askwho Casts Pro at https://askwhocasts.com/, Where you can give any post the multi-voiced podcast treatment, into your own podcast feed. Thanks for listening.
* 00:00 - Introduction
* 01:29 - Table of Contents
* 02:16 - What Did We Prove?
* 05:08 - The Mathocalypse
* 08:06 - The World Does Not Understand
* 10:54 - For Now You Can Still Do Math
* 11:51 - You Will Need To Find A New Problem
* 15:27 - Verification or Evaluation Is Not Always Easier Than Generation
* 16:49 - Cracking the Code
* 20:54 - Never Change
* 21:16 - The Mathematicians Are Not Okay
* 31:05 - The Situation Turns Ugly
* 34:18 - The Advisory Group Responds
* 36:16 - Another Mathematical Group Responds
* 39:19 - A Different Approach
* 42:26 - Three Withdraws
* 43:16 - Leaning Into Lean
Get full access to DWAtV Podcast at dwatvpodcast.substack.com/subscribe