The Vergecast · October 20, 2026 · 43m

AI is dividing the math world in two

The Verge's Robert Hart joins the show to discuss the recent wave of AI progress in mathematics, including breakthroughs from OpenAI and other labs. He explains what the models have actually achieved, why it's hard to verify, and how the companies' aggressive rollout has alienated many mathematicians. The conversation also explores whether AI threatens the future of human mathematicians and what the divided reaction means for the field.

This summary was generated from show notes and public descriptions, not from a full transcript review. Details may contain inaccuracies.

Preview

•

AI models make significant but uncertain progress on hard math problems

Robert Hart details recent advancements where large language models have solved or made progress on problems that previously stumped experts, though validation is challenging.

Claude ChatGPT Gemini

•

OpenAI's interactions with the math community have been disastrously bad

Hart describes a pattern of poor communication and collaboration by AI companies, which he characterizes as disastrously bad for the research community.

Claude ChatGPT Gemini

2 more ideas & all timestamps

This episode is in its early-access window. The full breakdown unlocks free in about 68 hours — Pro members read everything the moment it lands.

Read it now with Pro$10/mo · founding $96/yr

Was this useful?