{"href":"http://player.captivate.fm/services/oembed?url=http%3A%2F%2Fplayer.captivate.fm%2Fepisode%2F20717325-c13e-44d4-bef7-2a2146f5f88e","version":"1.0","provider_name":"Captivate.FM","provider_url":"https://www.captivate.fm","width":600,"height":200,"type":"rich","html":"<iframe style=\"width: 100%; height: 200px;\" title=\"Kevin Lacker on AI-Assisted Theorem Proving and Acorn\" frameborder=\"0\" scrolling=\"no\" allow=\"clipboard-write\" seamless src=\"http://player.captivate.fm/episode/20717325-c13e-44d4-bef7-2a2146f5f88e\"></iframe>","title":"Kevin Lacker on AI-Assisted Theorem Proving and Acorn","description":null,"thumbnail_width":300,"thumbnail_height":300,"thumbnail_url":"https://artwork.captivate.fm/eed81918-5c2c-4ed4-9ddc-11dbb519e2dd/cover.jpg"}