OpenAI announced on August 1, 2026 that an internal version of Astra, its next major model family, produced new results on ten open problems in mathematics and theoretical computer science — each unsolved for at least a decade, some for far longer. The total compute cost to find ...