OpenAI researcher Sébastien Bubeck announced that an internal version of the upcoming Astra model solved ten open problems. Greg Brockman added that the work cost roughly $2000 at current API rates. The results span von Neumann algebras, sphere packing bounds, circuit complexity, and Ramsey theory. Each proof ships with Lean certificates and chain-of-thought records. An official OpenAI page lists the ten advances in geometry, cryptography, and complexity. The same model previously tackled the Erdős unit-distance conjecture in May.