{"version":"1.0","type":"rich","provider_name":"techandbusiness.org","provider_url":"https://techandbusiness.org","title":"CPython modeling project reports 418 bugs using AI-assisted proofs","author_name":"techandbusiness.org · AI, Tech & Business","thumbnail_url":"https://broyojo.com/python-formalization/og.png","width":600,"height":400,"html":"<blockquote class=\"tb-newswire-embed\" style=\"max-width:600px;border-left:3px solid #22d3ee;padding:12px 16px;margin:0;font-family:-apple-system,system-ui,sans-serif;background:#09090b;border-radius:0 8px 8px 0;\">\n      <p style=\"margin:0 0 8px;font-size:10px;font-weight:600;letter-spacing:0.1em;color:#71717a;\">techandbusiness.org · AI, Tech & Business</p>\n      <p style=\"margin:0 0 8px;font-size:18px;font-weight:700;line-height:1.3;color:#fff;\"><a href=\"https://techandbusiness.org/newswire/HmRWoJeXi3Z-gieEch18Hk\" style=\"color:#fff;text-decoration:none;\">CPython modeling project reports 418 bugs using AI-assisted proofs</a></p>\n      <p style=\"margin:0;font-size:14px;color:#a1a1aa;line-height:1.5;\">Researchers David Andrews and Chao Zhang report that an AI-assisted project modeling CPython in Lean, a language for machine-checked proofs, generated 418 bug reports.</p>\n    </blockquote>"}