{"version":"1.0","type":"rich","provider_name":"techandbusiness.org","provider_url":"https://techandbusiness.org","title":"Anthropic repository reports Lean-checked Fermat proof","author_name":"techandbusiness.org · Tech & Business, AI","thumbnail_url":"https://opengraph.githubassets.com/1009635c3f0985c2ca653b1d479c50e1916825e43271b1495b2577847a211af2/anthropics/fermats-last-theorem","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 · Tech & Business, AI</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/Foc-QOV7HanU0dCeIyHrmR\" style=\"color:#fff;text-decoration:none;\">Anthropic repository reports Lean-checked Fermat proof</a></p>\n      <p style=\"margin:0;font-size:14px;color:#a1a1aa;line-height:1.5;\">An Anthropic GitHub repository reports a complete machine-checked proof of Fermat's Last Theorem in Lean 4. The repository says its default build checks the theorem against Lean's three standard axiom...</p>\n    </blockquote>"}