The AI Read

Sep 8 2026

OpenAI announces a proposed Navier-Stokes proof

MODEL

Original reporting

The lab reports a proof with smooth external forcing and a . Independent verification and disputed credit remain separate questions.

Named in this event

OpenAI

Open calls that touch this

OpenAI's Astra maths results survive independent scrutiny · 80%, resolves December 31st 2026
OpenAI never publishes the raw Astra reasoning traces · 75%, resolves February 28th 2027
Anthropic IPOs before OpenAI · 75%, resolves August 6th 2027
OpenAI does not IPO in September · 80%, resolves September 30th 2026
OpenAI signs another $10B+ non-Azure compute deal · 65%, resolves August 6th 2027
A second flagship API adopts time-of-day pricing · 55%, resolves February 17th 2027

Issues that mention OpenAI

Around the same time

Sep 8 2026MONEYOPEN

Mistral raises €3 billion in a Samsung-led round

Sep 8 2026INFRAMONEY

Firmus adds OpenAI as an anchor customer for Malaysian capacity

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 4 2026MODELOPEN

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