Over the last several months, the AI industry has set its sights on some of the problems that have stymied mathematicians for years. In some cases, AI models have made huge progress — though exactly how much isn't always obvious. The Verge's Robert Hart explains what OpenAI and others have actually accomplished, the disastrously bad ways the companies have interacted with researchers, and whether there's a future left for human mathematics.

Further reading:


Subscribe to The Verge for unlimited access to theverge.com, subscriber-exclusive newsletters, and our ad-free podcast feed.


We love hearing from you! Email your questions and thoughts to vergecast@theverge.com or call us at 866-VERGE11.

Learn more about your ad choices. Visit podcastchoices.com/adchoices