{"version":"1.0","type":"rich","provider_name":"Buzzsprout","provider_url":"https://www.buzzsprout.com","author_url":"https://podcast.augurdispatch.ai/2640470","width":500,"thumbnail_width":600,"thumbnail_height":600,"title":"Lean's bogus proof: what an independent AI check must verify","author_name":"The Augur Dispatch","html":"<iframe src=\"https://podcast.augurdispatch.ai/2640470/episodes/19784407-lean-s-bogus-proof-what-an-independent-ai-check-must-verify?client_source=oembed&amp;iframe=true\" width=\"100%\" height=\"200\" frameborder=\"0\" scrolling=\"no\" loading=\"lazy\" title=\"The Augur Dispatch, Lean&#39;s bogus proof: what an independent AI check must verify\"></iframe>","height":200,"thumbnail_url":"https://podcast.augurdispatch.ai/rails/active_storage/representations/redirect/eyJfcmFpbHMiOnsiZGF0YSI6MTgzMjA1MTQ2LCJwdXIiOiJibG9iX2lkIn19--bf25510f80036b0bd872d695ea8284cbe21db693/eyJfcmFpbHMiOnsiZGF0YSI6eyJmb3JtYXQiOiJqcGciLCJyZXNpemVfdG9fZmlsbCI6WzYwMCw2MDAseyJjcm9wIjoiY2VudHJlIn1dLCJzYXZlciI6eyJxdWFsaXR5Ijo2MH0sImNvbG91cnNwYWNlIjoic3JnYiJ9LCJwdXIiOiJ2YXJpYXRpb24ifX0=--0b154cb6b88107719b1a277923d35676ba5519cc/2026-09-10-podcast-lean-second-check-3000x3000.jpg"}