Ten advances in mathematics and theoretical computer science
OpenAI's internal model Astra solved ten long-standing math problems at minimal cost, triggering a collective rethinking of AI's role in mathematics.
Simon Willison · Aug 2, 2026
OpenAI's internal model Astra solved ten long-standing math problems at minimal cost, triggering a collective rethinking of AI's role in mathematics.
Anthropic launches its most capable models yet, but for the first time splits them into a 'safe' general release and an 'unrestricted' restricted one, signaling that safety control is becoming a core product feature as raw capability skyrockets.
Anthropic proposes a two-part policy framework that would give governments authority to block high-risk AI deployments, setting clear thresholds to regulate only the most powerful models.