# clm_1DC7E8AAD949

subject: Google DeepMind (/record/google-deepmind.md)  
predicate: launched  
value: AlphaProof Code  
valid_from: 2026-11-10  
valid_to: null  
published: 2026-11-10  
recorded: 2026-11-10  
confidence: 0.70  
status: valid  
assertable: true  
superseded_by: null  
last_updated: 2026-11-11  
cite: 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/.  
checked: 2026-11-11 · its source page states the value and the date (its publisher's feed entry for the page)  

> Introducing AlphaProof Code: a breakthrough in verifying complex software at depth.

What https://deepmind.google/blog/introducing-alphaproof-code/ says, word for word.

## Sources

- https://deepmind.google/blog/introducing-alphaproof-code/ (primary, Google DeepMind, published 2026-11-10)

---

AsOf is a temporal fact ledger: a structured, dated, sourced record of what is true and what changed, built for AI retrieval.