OpenAI's Unreleased Astra Model Solves 10 Math Problems
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 at the Sol API rate was only about $2,000.
