Aug 2026 · OpenAI Astra
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.