{"version":"1.0","type":"rich","provider_name":"Acast","provider_url":"https://acast.com","height":250,"width":700,"html":"<iframe src=\"https://embed.acast.com/$/e421d786-ec36-4148-aa99-7a3b2928a779/6a04bb410cdbf0d1ff8050a7?\" frameBorder=\"0\" width=\"700\" height=\"250\"></iframe>","title":"Maths enters its AI era","thumbnail_width":200,"thumbnail_height":200,"thumbnail_url":"https://open-images.acast.com/shows/62e286a934d4d9fe5e874247/1778694841358-a75b73fe-e39a-410b-b842-0d6e3d6876d5.jpeg?height=200","description":"<p>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 <a href=\"https://www.economist.com/science-and-technology/2026/04/08/ai-models-could-offer-mathematicians-a-common-language?utm_campaign=a.io&amp;utm_medium=audio.podcast.np&amp;utm_source=babbage&amp;utm_content=discovery.content.anonymous.tr_shownotes_na-na_article&amp;utm_term=sa.listeners\" rel=\"noopener noreferrer\" target=\"_blank\">common language</a>—thereby finding connections between hitherto-disparate fields and, perhaps, even making completely new discoveries in one of the most fundamental areas of human inquiry.</p><p><br></p><p>Guests and hosts:</p><ul><li>Anjani Trivedi, <em>The Economist</em>’s global business correspondent</li><li>Terence Tao of the University of California, Los Angeles (UCLA)</li><li>Patrick Shafto of America’s Defense Advanced Research Projects Agency (DARPA)</li><li>Maryna Viazovska of L'École Polytechnique Fédérale de Lausanne (EPFL)</li><li>Alok Jha, <em>The Economist</em>’s science and technology editor&nbsp;</li></ul><p><br></p><p>Topics covered:</p><ul><li>Mathematics</li><li>Large language models</li><li>Autoformalisation</li></ul><p><br></p><p><em>Transcripts of our podcasts are available via </em><a href=\"http://economist.com/podcasts\" rel=\"noopener noreferrer\" target=\"_blank\"><em>economist.com/podcasts</em></a><em>.</em></p><p><br></p><p><em>Listen to what matters most, from global politics and business to science and technology—</em><a href=\"https://subscribenow.economist.com/podcasts-plus\" rel=\"noopener noreferrer\" target=\"_blank\"><em>subscribe to Economist Podcasts+</em></a><em>.</em></p><p><br></p><p><em>For more information about how to access Economist Podcasts+, please visit our </em><a href=\"https://myaccount.economist.com/s/article/What-is-Economist-Podcasts\" rel=\"noopener noreferrer\" target=\"_blank\"><em>FAQs page</em></a><em> or watch </em><a href=\"https://www.youtube.com/watch?v=Gczo71bg1uY\" rel=\"noopener noreferrer\" target=\"_blank\"><em>our video </em></a><em>explaining how to link your account.</em></p>","author_name":"The Economist"}