Noam Brown: All Ten Astra Proofs Cost Under $2,000 in Tokens at Sol API Prices, and No Millennium Prize Problem Fell

Noam Brown on X (corroborated by Sébastien Bubeck and The Decoder)via @polynoamial·high signalXBlueskyLinkedInCopy link

OpenAI researcher Noam Brown posted that generating the proofs for all ten Astra breakthroughs combined cost under $2,000 at GPT-5.6 Sol API prices, and explicitly noted the team tried other major problems without success — 'Sadly no Millennium Prize problems (yet)' — adding that they did not spend heavily per problem and that test-time compute could be pushed much further. Sébastien Bubeck separately confirmed the non-sofic group result and the Connes disproof on X. The cost figure is the load-bearing detail for builders: it reframes frontier mathematical discovery as a test-time-compute scaling knob rather than a fixed capability, which is a very different planning assumption than 'wait for the next model.'