Oct 22 2026

Anthropic and Theorem report checked security proofs for 123 libraries

SAFETYMODEL

Original reporting

No source was cited for this one in the issue that logged it. The link above searches for it instead of guessing at a URL.

Restricted security properties under explicit execution assumptions; not certification of all application behavior. [A](https://www.anthropic.com/research/formal-verification)

Named in this event

AnthropicTheorem

Open calls that touch this

Anthropic holds the Sonnet 5 price increase · 70%, resolves November 30th 2026
Anthropic IPOs before OpenAI · 75%, resolves August 6th 2027
Anthropic keeps Model 2 unreleased through February 2027 · 70%, resolves March 1st 2027
A second flagship API adopts time-of-day pricing · 55%, resolves February 17th 2027
Anthropic runs no production traffic on Fractile silicon in 2027 · 70%, resolves December 31st 2027
Broadcom's Anthropic chip financing closes at $60 billion or more · 65%, resolves June 30th 2027

Issues that mention Anthropic, Theorem

Around the same time

Oct 22 2026MODELINFRA

Agentic AI Foundation adds projects from Anthropic, OpenAI, Hugging Face and Alibaba

search for coverage

Oct 22 2026MONEY

OpenAI seeks up to $30 billion at a $1.25 trillion pre-money valuation, below its $1.4 trillion pitch

search for coverage

Oct 22 2026MONEYINFRA

CoreWeave credit default swaps pass 1,100 basis points as its debt trades distressed

search for coverage

Oct 22 2026SAFETY

METR publishes holes it found in OpenAI's July agent monitoring

search for coverage

Oct 22 2026CHIPSADOPT

Counterpoint puts third-quarter PC shipments down 21%, citing memory prices

search for coverage

Oct 21 2026INFRASAFETY

Nvidia extends OpenShell with hardware-separated agent policy enforcement

search for coverage