The AI Read

Sep 4 2026

Anthropic publishes a complete Lean formalization of Fermat's Last Theorem

MODELOPEN

Original reporting

Named in this event

Anthropic

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

Around the same time

Sep 8 2026CHIPSINFRA

ASML and TSMC target larger EUV-mask production systems for 2033

Sep 7 2026POLICYINFRA

China targets 9,800 exaflops of AI computing capacity by 2030

Sept 4 2026ADOPTMONEY

August payrolls beat forecasts threefold while the information sector cuts jobs at a record pace, the clearest hard data point yet on AI substitution

search for coverage

Sep 3 2026MONEYOPEN

Nvidia agrees to acquire Hugging Face for $12.93 billion, pledging the platform stays open

search for coverage

Sep 3 2026MODELSAFETY

OpenAI ships GPT-6 Astra, the first publicly released model past a lab's Critical cyber threshold

search for coverage

Sep 3 2026MONEYOPEN

Moonshot AI files confidentially for a ~$3B Hong Kong IPO at a reported $50B valuation

search for coverage