OpenAI Astra: What It Is, What It Proved, and When You Can Use It
OpenAI named its next model family Astra on August 1, 2026, and announced it by publishing ten new results in mathematics and theoretical computer science. Here is what Astra actually proved, what the proofs do and do not establish, and why you cannot use it yet.
