AsOf

Google DeepMind · launchedAlphaProof Code

valid: Two independent sources agree, or a primary source states it: the record asserts this claim, unless it is a post, is marked for review or carries a confidence below 0.5.asserted

What the statuses mean

Valid from
2026-11-10
Valid until
still holds
Published
2026-11-10
Recorded by AsOf
2026-11-10
Checked
2026-11-11 · its source page states the value and the date (its publisher's feed entry for the page)
Confidence
0.70

Sources

“Introducing AlphaProof Code: a breakthrough in verifying complex software at depth.”— what the publisher's feed entry for the page says, read 2026-11-11

Cite this claim

Each form names the value, its as-of date (2026-11-10), the day you read it (2026-11-11), the claim's stable URL and id and its primary source. The URL never changes: a superseded claim stays at the same address.

Plain text
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/.
APA
AsOf. (2026). Google DeepMind launched: AlphaProof Code (as of 2026-11-10) [Record clm_1DC7E8AAD949]. Retrieved November 11, 2026, from https://asof.is/claim/clm_1DC7E8AAD949 (source: https://deepmind.google/blog/introducing-alphaproof-code/)
BibTeX
@misc{asof_clm_1DC7E8AAD949,
  author = {AsOf},
  title = {Google DeepMind launched: AlphaProof Code},
  year = {2026},
  howpublished = {\url{https://asof.is/claim/clm_1DC7E8AAD949}},
  note = {Claim clm\_1DC7E8AAD949, as of 2026-11-10; source: https://deepmind.google/blog/introducing-alphaproof-code/},
  urldate = {2026-11-11}
}

On the record

/claim/clm_1DC7E8AAD949.md/v1/claims/clm_1DC7E8AAD949submit a correction