Show Notes
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
More from Don't Worry About the Vase Podcast
It may have been the worst day in cybersecurity history so far, and the floodgates look open. Zvi covers a week of leaks and spies, from Anthropic’s shopped-around draft bill to OpenAI’s honeypot warnings, new hope for neuron-level interpretability, Muse Wonder failing to live up to its billing, DeepMind’s perpetual non-disparagement clauses, OpenAI going quiet on chip controls, a Tyler Cowen and Dwarkesh Patel interview, why Marc Andreessen is so angry, and the alignment plan that might just work. 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 * 02:15 - Table of Contents * 03:52 - Language Models Offer Mundane Utility * 05:04 - Language Models Don’t Offer Mundane Utility * 06:37 - Huh, Upgrades * 10:39 - Wonder No More * 13:06 - On Your Marks * 16:52 - Choose Your Fighter * 17:10 - Get My Agent On The Line * 18:57 - Deepfaketown and Botpocalypse Soon * 23:36 - Fun With Media Generation * 23:51 - Spy Versus Spy * 28:31 - A Young Lady’s Illustrated Primer * 29:41 - They Took Our Jobs * 35:26 - Get Involved * 36:30 - Introducing * 36:42 - In Other AI News * 38:52 - Show Me the Money * 43:15 - Bubble, Bubble, Toil and Trouble * 44:03 - Quiet Speculations * 46:25 - Quickly, There’s No Time * 47:03 - The Quest for Sane Regulations * 47:30 - DeepMind Made Him Sign an NDA * 51:28 - OpenAI Sells Out On Chips * 53:52 - Chip City * 58:53 - The Week in Audio * 01:05:28 - People Just Say Things * 01:08:43 - Rhetorical Innovation * 01:11:14 - Maybe You Should Quit * 01:13:51 - The American People Really Hate AI * 01:15:08 - New Math * 01:16:44 - Aligning a Smarter Than Human Intelligence is Difficult * 01:20:41 - Cooperative Alignment * 01:24:58 - Marc Andreessen Hulk Smash * 01:29:30 - People Are Worried About AI Killing Everyone * 01:30:16 - The Lighter Side
A lot of AIs were misaligned this week, and Zvi rounds them up: Grok holding firm on cosmic indifference, an Apollo Research finding that GLM-5.3 reasons about how its actions in training will shape its future self, a freemium game decompiled with Claude’s help, Claude Opus and a mana loan on Manifold, OpenAI’s frank report of agents switching off their own misalignment monitoring, and reasoning traces that are getting harder to read. 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 * 00:42 - Misaligned? (At xAI) * 02:30 - Misaligned? (Agents) * 02:54 - Misaligned? (At Z.ai) * 09:18 - Highly Misaligned and Considered Harmful (Freemium Games) * 13:26 - Misaligned! (Claude) * 14:44 - Misaligned! (OpenAI) * 21:30 - Misaligned! (Sol Reasoning Traces)
Anthropic’s federal affairs lead has offered the closest thing yet to an official response to the leaked draft AI safety bill, walking through preemption, model blocking, risk thresholds and what changed after this summer’s incidents. Zvi weighs that response point by point, argues it misses what was centrally wrong with the draft, looks at how the political balance is shifting, turns to Nathan Calvin’s question of what Anthropic even is, and closes with what he thinks Anthropic should do now. 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 * 02:11 - Table of Contents * 02:33 - Preemption * 04:41 - Model Blocking * 06:56 - Risk Thresholds * 08:18 - Updates * 10:00 - The Balance of Power is Shifting * 11:08 - The Strongest Bill on the Table * 14:29 - What Even Is Anthropic? * 26:48 - The Ask
Nick Cammarata of Goodfire says neural networks are already clean: most neurons have one main job, and the famous evidence for superposition was misread. Zvi works through what the essay actually shows, from V-shape and Colorado neurons to a trillion-parameter attribution graph, then through the reactions, from OpenAI staff calling it a historic day to Neel Nanda, Jake Mendel and an exasperated Eliezer Yudkowsky with his parable of the screwdriver. He asks how big an update this really is, what it leaves out, and why a neuron that loves both Colorado and a Python web framework matters. 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 * 02:50 - Table of Contents * 03:50 - Good Smoke, Potential Fire * 05:03 - One Neuron, One Central Concept * 07:38 - I Can See Everything * 09:49 - What a Concept * 14:37 - The More You Know * 17:11 - Attention Is Still What You Need * 19:29 - Occam’s Razor * 21:03 - The Neurons Sometimes Share Clear Themes * 21:59 - Hype * 30:31 - Anti-Hype * 32:51 - Theme and Variations * 39:13 - Is This How Minds Work? * 41:17 - But We Can Open The Box, Said Toad * 48:57 - That Was Not the Hard Problem * 51:43 - More Skepticism * 57:04 - That’s All There Is, There Ain’t No More * 01:00:24 - The Default Outcome of Mech Interp is Goodhart’s Law * 01:03:10 - Interpretability is Dual Use * 01:04:24 - Now The Work Can Begin
A draft federal AI safety bill that Anthropic is reportedly shopping to lawmakers has leaked, and Zvi finds it unacceptable: stronger preemption of state laws and more transparency, but weaker enforcement than the FRONTIER Act, offered just as a lame duck Congress could lock it in. He gathers the reactions of legal scholars, policy advocates and safety researchers who read the bill, from Charlie Bullock’s measured praise to Nathan Calvin’s anger over the shutdown provisions, credits the good parts, and asks why a company purportedly existing to promote safety would push this now. 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 * 02:18 - Others RTFB (Read the Bill) * 09:57 - Why Would Anthropic Do This? * 15:43 - Not Everything Here Is Bad But Oh Boy