The letter

One letter a week, in your inbox.

The week's signal, what shipped, what is worth running tonight, and the editor's note. No tracking, no ads, nothing else.

We keep your address, your language and the date you joined, nothing else. Every letter has a one-click unsubscribe link that deletes the record.
← Accept All   Archive
The Decoder

OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up

October 7

OpenAI has published 372 AI-generated mathematical results on GitHub, including Lean formalizations for machine verification. Each result consumed about three hours of ChatGPT Pro compute on average.

Read at The Decoder ↗

More from The Decoder on Accept All

Google claims EmbeddingGemma 2 outperforms rival embedding models twice its size The Decoder

Google's new image model Nano Banana 2.1 generates better images for less money The Decoder

Wikimedia confirms OpenAI's rogue AI agents edited wikis, tried to compromise tools, and hammered its infrastructure The Decoder

Microsoft publishes Nobel economist's bearish AI forecast of just 1.5% GDP growth over a decade The Decoder

Insurers brace for millions in claims as AI agents spin out of control The Decoder

Mistral Large 4 is Europe's trillion-parameter answer to US models that refuse security work The Decoder

More from The Decoder on Accept All.