OpenAI's Unreleased Astra Model Solves 10 Math Problems

TechFlow News, August 01, according to newly disclosed information, this unreleased model (possibly GPT-6) has solved 10 long-standing unsolved problems in the fields of mathematics, quantum complexity, and theoretical computer science, including the first explicit non-sofic group and overturning the Connes rigidity conjecture, among others. The core argument was generated by Astra and formally proven in Lean, producing a 249-page manuscript and machine-verifiable certificates. The token cost for a single successful solution under Sol API rates was only approximately 2,000 USD.