OpenAI announced that an internal version of its Astra model solved 10 long-standing problems in mathematics and theoretical computer science. These breakthroughs address decades-old questions in high-dimensional geometry, group theory, quantum complexity, and post-quantum cryptography.
Astra constructed the first non-sofic group and disproved the Connes rigidity conjecture. The computational cost to generate these ten solutions totaled approximately $2,000 at Sol API rates.
OpenAI released the research papers and the model's reasoning process for public review. The company also provided machine-checkable proof certificates to verify the results.