Anthropic reports large-scale formal software verification using Claude
Anthropic published research reporting machine-checked security proofs across 123 open-source libraries. Guarantees concern modeled single-threaded static RISC-V/Linux binaries under stated assumptions, rather than general freedom from bugs.
Announced 2026-10-22 · discovered 2026-10-25 · effective date not stated
Used 28 searches/page lookups across AI research, compute infrastructure, funding and acquisitions. Retained four events supported by opened company announcements or attributed press-release reproductions. No independently qualifying compute event was retained: the LeadDesk/QuTwo/AMD collaboration was dated and readable, but its collaboration relationships do not fit the supplied relationship vocabulary. Dream-1 showed only October 2026, insufficient to establish eligibility. Flapping Airplanes funding and Tailwind's Shopify announcement proved earlier than this window. The already cataloged OlmoEarth release was excluded. Business Wire's Chapter original, PRNewswire's Procede original and Harness Brief failed to fetch; readable attributed wire reproductions support the two acquisitions. Research coverage is selective; no eligible original paper was deeply verified. No retained announcement is dated October 24 or 25, and this scan does not establish complete coverage of those days. Effective dates remain null because the announcements do not establish exact transaction closing dates.
Primary source passages verified against independently fetched pages. Automated interpretations remain labeled for review; name-only merges are withheld.
2 unresolved items withheld from this edition. Current article activity uses each corpus’s fixed news basis; historical people profiles keep their training watermark. Missing measurements stay missing.
Window starts 2026-10-22T00:00:00.000Z. 18 recorded searches.
anthropolo