OpenAI reports ten AI-assisted advances in mathematics and theoretical computer science
OpenAI says an internal version of its Astra model generated new results for ten long-standing problems spanning geometry, cryptography, complexity theory, and related fields. OpenAI has released manuscripts and Lean certificates; the claims should still be treated as awaiting broader independent academic scrutiny.
Verify official source →