New Math from OpenAI

Podcast: Don't Worry About the Vase Podcast · Podcast for Zvi's blog, Don't Worry About the Vase Podcast

Opublikowano: 2026-10-09

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 au...