{"id":"clm_1DC7E8AAD949","entity":"google-deepmind","predicate":"launched","value":"AlphaProof Code","value_json":{"feed":"google-deepmind","item":"https://deepmind.google/blog/introducing-alphaproof-code/","tags":{"v":2,"ai":true,"by":"claude-haiku-5-5","on":"2026-11-10","themes":["coding","safety_policy"],"release_kind":"research"},"check":{"on":"2026-11-11","url":"https://deepmind.google/blog/introducing-alphaproof-code/","read":"feed","pages":1,"quote":"Introducing AlphaProof Code: a breakthrough in verifying complex software at depth.","outcome":"checked"},"evidence":"AlphaProof Code agents wrote three million lines of proofs in Lean to verify Signal’s core encryption.","extracted_by":"claude-haiku-5-5","primary_source":true},"valid_from":"2026-11-10","valid_to":null,"published":"2026-11-10","recorded":"2026-11-10","citation":{"plain":"AsOf. \"Google DeepMind launched: AlphaProof Code\", as of 2026-11-10. Claim clm_1DC7E8AAD949, https://asof.is/claim/clm_1DC7E8AAD949, accessed 2026-11-11. Source: https://deepmind.google/blog/introducing-alphaproof-code/.","url":"https://asof.is/claim/clm_1DC7E8AAD949","accessed":"2026-11-11"},"confidence":0.7,"status":"valid","assertable":true,"superseded_by":null,"supersedes":[],"first_seen_at":"2026-11-10T21:27:34.938652+00:00","updated_at":"2026-11-11T10:16:58.752702+00:00","sources":[{"url":"https://deepmind.google/blog/introducing-alphaproof-code/","tier":"primary","publisher":"Google DeepMind","published_at":"2026-11-10T00:00:00+00:00"}],"evidence":{"by":"page-read","on":"2026-11-11","quote":"Introducing AlphaProof Code: a breakthrough in verifying complex software at depth.","url":"https://deepmind.google/blog/introducing-alphaproof-code/","read":"feed","excerpt":"AlphaProof Code agents wrote three million lines of proofs in Lean to verify Signal’s core encryption."},"legend":{"dates":"valid_from: when the claim took effect (a period figure: the day its period closed). published: the earliest day a source on the record published it (a filing's filing date, a post's date; null when no source carries one). recorded: the day AsOf first held it. A figure can take effect weeks before it is published.","citation":"citation: how to cite the row (plain: one sentence with the value, its as-of date, the claim id and URL, the day answered and the primary source; url: the claim page; accessed: the day answered). APA and BibTeX forms are on the claim page.","why_not":{},"checked_by":{"page-read":"its source page states the value and the date"}}}