OpenAI dropped ten claimed math results from a hidden model called Astra -- and the real story isn't that a machine did mathematics, it's that for once the claim comes in a form you can actually check, and nobody outside has. We use that to crack open the week's real thread: verification. Seven new papers can't agree what a world model is made of, and the fight is really about whether you can tell what a model learned from watching it succeed once. Then a phone-agent lab of a hundred real Android phones runs into an ugly finding -- the AI judges grading these agents get fooled by a confident 'done' far more than they catch a real failure. One rule ties it all together: appearance is not verification.

Chapters

0:00 The Proof a Computer Can Check
1:10 The Headlines
5:41 Intro
6:39 Nobody Agrees What a World Model Is Made Of
12:58 The Judge Is Grading on Vibes
17:41 Wrap-Up

Links

The Proof a Computer Can Check -- https://openai.com/index/ten-advances-in-mathematics/
Nobody Agrees What a World Model Is Made Of -- https://arxiv.org/abs/2607.28624
The Judge Is Grading on Vibes -- https://arxiv.org/abs/2607.28609