What Astra did first
In late July 2026, OpenAI revealed that Astra had solved ten long-running math and science problems — and published the full proofs. Each proof took roughly $2,000 worth of tokens to generate, an extraordinary amount of inference for a single answer.