{"version":"1.0","type":"rich","provider_name":"Buzzsprout","provider_url":"https://www.buzzsprout.com","author_url":"https://www.knowledgescience.ai/1687822","width":500,"thumbnail_width":600,"thumbnail_height":600,"title":"Episode 149 - English AI generated : KS Pulse - Theorem Proving, LongEmbed","author_name":"Knowledge Science - Alles über KI, ML und NLP","html":"<iframe src=\"https://www.knowledgescience.ai/1687822/episodes/14935267-episode-149-english-ai-generated-ks-pulse-theorem-proving-longembed?client_source=oembed&amp;iframe=true\" width=\"100%\" height=\"200\" frameborder=\"0\" scrolling=\"no\" loading=\"lazy\" title=\"Knowledge Science - Alles über KI, ML und NLP, Episode 149 - English AI generated : KS Pulse - Theorem Proving, LongEmbed\"></iframe>","height":200,"thumbnail_url":"https://www.knowledgescience.ai/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsiZGF0YSI6MTIwNTE3Mzc4LCJwdXIiOiJibG9iX2lkIn19--8cc0f60d89c5fe0fc11b7b8ff2fa14df44f6ac49/eyJfcmFpbHMiOnsiZGF0YSI6eyJmb3JtYXQiOiJqcGciLCJyZXNpemVfdG9fZmlsbCI6WzYwMCw2MDAseyJjcm9wIjoiY2VudHJlIn1dLCJzYXZlciI6eyJxdWFsaXR5Ijo2MH0sImNvbG91cnNwYWNlIjoic3JnYiJ9LCJwdXIiOiJ2YXJpYXRpb24ifX0=--0b154cb6b88107719b1a277923d35676ba5519cc/VIRTUEL%20mit%20sigurd%20schacht%20Carsten%20Lanquillon-2.png"}