Ten results on open problems

During development, an internal Astra model produced ten new results across mathematics, quantum complexity and theoretical computer science. OpenAI released a 249-page collection and Lean certificates.

The official publication confirms the release, while novelty, formalization choices and significance still require independent mathematical review. It counts as one cluster, not ten separate events.

Sources

OpenAI · Ten advances in mathematicsOpen primary source