AI NewsOpenAI’s Unreleased Astra Model Solves 10 Long-Standing Math & Computer Science Problems
OpenAI’s Unreleased Astra Model Solves 10 Long-Standing Math & Computer Science Problems
5:07 PM IST · August 3, 2026

The company also released research papers, Lean-certified proofs, and the model’s reasoning walkthroughs for each result.
read more