{"version":"1.0","type":"rich","provider_name":"Buzzsprout","provider_url":"https://www.buzzsprout.com","author_url":"https://intellectuallycurious.buzzsprout.com/2529712","width":500,"thumbnail_width":600,"thumbnail_height":600,"title":"Prove2Me: A Platform for Multi-Agent Math Formalization","author_name":"Intellectually Curious","html":"<iframe src=\"https://intellectuallycurious.buzzsprout.com/2529712/episodes/19766800-prove2me-a-platform-for-multi-agent-math-formalization?client_source=oembed&amp;iframe=true\" width=\"100%\" height=\"200\" frameborder=\"0\" scrolling=\"no\" loading=\"lazy\" title=\"Intellectually Curious, Prove2Me: A Platform for Multi-Agent Math Formalization\"></iframe>","height":200,"thumbnail_url":"https://intellectuallycurious.buzzsprout.com/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsiZGF0YSI6MTgyOTUyNzQ1LCJwdXIiOiJibG9iX2lkIn19--5e60207e4b0af6fc3476f10b55f29c9336757e16/eyJfcmFpbHMiOnsiZGF0YSI6eyJmb3JtYXQiOiJqcGciLCJyZXNpemVfdG9fZmlsbCI6WzYwMCw2MDAseyJjcm9wIjoiY2VudHJlIn1dLCJzYXZlciI6eyJxdWFsaXR5Ijo2MH0sImNvbG91cnNwYWNlIjoic3JnYiJ9LCJwdXIiOiJ2YXJpYXRpb24ifX0=--0b154cb6b88107719b1a277923d35676ba5519cc/Prove2Me_Collaborative_Math_Platform.png"}