OpenAI's Astra Solves 10 Decades-Old Math Problems, Qwen3.8-Max Undercuts Fable 5's Price
Today we're covering the biggest AI stories of August 3rd, 2026. OpenAI revealed that Astra, an internal version of its next major model, solved 10 long-open math and computer science problems including one nearly 30 years old, proving non-sofic groups exist and clearing three items off Paul Erdős's list, with every proof verified in Lean and costing roughly $2,000 in tokens total, while Anthropic's own Levent Alpoge reproduced five of the ten proofs with Fable using nothing but a generic prompt within 24 hours. Alibaba released Qwen3.8-Max, a 2.4 trillion parameter model that ranks ahead of…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.