Academia on the Line is a podcast where two mathematicians talk with academics about mathematics, STEM, and higher education.

Episode Summary:
OpenAI's recent disproof of Erdős' unit distance conjecture surprised much of the mathematics community and prompted many researchers to reconsider the capabilities of modern reasoning models. In our inaugural episode, Melanie Matchett Wood and Daniel Litt join us to discuss the mathematics behind the result, the nine-author companion paper written by leading mathematicians, and the broader implications of AI for mathematical research and graduate education.

Podcast timeline
0:00 - Introduction
4:12 - Guests: Melanie Matchett Wood & Daniel Litt
16:51 - The Unit Distance Problem
25:15 - OpenAI's Disproof
58:41 - Do We Still Need Professional Mathematicians?
1:12:02 - AI and the Future of Research
1:19:47 - Human Understanding and Education
1:32:06 - Funding AI in Mathematics
1:45:34 - Final Thoughts

Links to Referenced Materials
0. OpenAI's announcement on May 20, 2026.
1. OpenAI's research paper with the disproof of Erdös' unit distance conjecture.
2. The nine author companion paper.
3. Twitter source for the projected lattice image that Daniel mentions in the episode.
4. Find your Erdős-number, or collaboration distance more generally.

Theme Music:
Ophelia's Blues by Jason Shaw (Audionautix.com), licensed under Creative Commons.