Maths enters its AI era
Failed to add items
Add to basket failed.
Add to wishlist failed.
Remove from wishlist failed.
Adding to library failed
Follow podcast failed
Unfollow podcast failed
-
Narrated by:
-
By:
Summary
Not long ago, AI models struggled with basic arithmetic. Now, they’re solving complex mathematical conjectures. But researchers want to go further. They think AI could help them organise the mathematical literature into a common language—thereby finding connections between hitherto-disparate fields and, perhaps, even making completely new discoveries in one of the most fundamental areas of human inquiry.
Guests and hosts:
- Anjani Trivedi, The Economist’s global business correspondent
- Terence Tao of the University of California, Los Angeles (UCLA)
- Patrick Shafto of America’s Defense Advanced Research Projects Agency (DARPA)
- Maryna Viazovska of L'École Polytechnique Fédérale de Lausanne (EPFL)
- Alok Jha, The Economist’s science and technology editor
Topics covered:
- Mathematics
- Large language models
- Autoformalisation
Transcripts of our podcasts are available via economist.com/podcasts.
Listen to what matters most, from global politics and business to science and technology—subscribe to Economist Podcasts+.
For more information about how to access Economist Podcasts+, please visit our FAQs page or watch our video explaining how to link your account.