On reasoning

A Chinese lab released a reasoning model that matches OpenAI's o1 and published how it did it. Nvidia lost about $600 billion in a day. Where the efficiency actually came from.

AlphaProof and AlphaGeometry 2 together solved four of six problems from this year's Math Olympiad, reaching silver-medal level. What makes a checkable answer so useful for training, and what happens when there isn't one.