OpenAI's Astra model solves 10 open math problems

OpenAI's unreleased Astra model solved 10 long-standing open problems in mathematics, quantum complexity, and theoretical computer science, including the first explicit non-sofic group and disproving Connes's rigidity conjecture. The results are published in a 249-page research collection with Lean certificates and CoT walkthroughs.