{"version":"1.0","type":"rich","provider_name":"Buzzsprout","provider_url":"https://www.buzzsprout.com","author_url":"https://www.buzzsprout.com/1783651","width":500,"thumbnail_width":600,"thumbnail_height":600,"title":"Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software","author_name":"Summation with Auren Hoffman","html":"<iframe src=\"https://www.buzzsprout.com/1783651/episodes/18896375-vlad-tenev-and-tudor-achim-on-mathematical-superintelligence-why-math-is-harder-than-code-for-llms-and-the-end-of-buggy-software?client_source=oembed&amp;iframe=true\" width=\"100%\" height=\"200\" frameborder=\"0\" scrolling=\"no\" loading=\"lazy\" title=\"Summation with Auren Hoffman, Vlad Tenev and Tudor Achim on mathematical superintelligence, why math is harder than code for LLMs, and the end of buggy software\"></iframe>","height":200,"thumbnail_url":"https://www.buzzsprout.com/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsiZGF0YSI6MTY5NDkyNjc5LCJwdXIiOiJibG9iX2lkIn19--773ae8e455d6151199b9eacaf214cd581ed4f06f/eyJfcmFpbHMiOnsiZGF0YSI6eyJmb3JtYXQiOiJqcGciLCJyZXNpemVfdG9fZmlsbCI6WzYwMCw2MDAseyJjcm9wIjoiY2VudHJlIn1dLCJzYXZlciI6eyJxdWFsaXR5Ijo2MH0sImNvbG91cnNwYWNlIjoic3JnYiJ9LCJwdXIiOiJ2YXJpYXRpb24ifX0=--0b154cb6b88107719b1a277923d35676ba5519cc/Vlad%20Tenev%20and%20Tudor%20Achim%20Cover%20Art%20(1).png"}