An internal version reportedly generated new results for ten longstanding problems in mathematics and theoretical computer science. OpenAI selected problems that had seen little or no progress on their central results for at least ten years. Astra produced the results at a relatively low costOpenAI says Astra did not require unusually large amounts of computing power to produce the discoveries. The reported costs suggest that advanced mathematical research may not always require massive inference budgets. OpenAI is publishing the research manuscripts, Lean proofs, and model-generated explanations for independent examination.