Astra is OpenAI's next major model family, announced August 1, 2026, and built to work a single problem for hours or days across several coordinating agents.
OpenAI announced it with ten machine-checkable Lean 4 proofs on GitHub rather than a benchmark table, so anyone with the toolchain can verify the claims.
Experts currently rate five of the ten proofs as likely correct, several remain under review, and OpenAI has announced no release date or version name.