Universal Music is launching an AI music platform with ElevenLabs13m ago An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'22m ago AI #185: Preference Cascade46m ago Nintendo's latest sale is 'made possible' by the tariff refunds it's hoarding50m ago Meta Announces Muse AI Agent for Personal Tasks and Organization51m ago Now everyone can put data to work51m ago Instagram now lets you add tagged photos to your profile grid51m ago AI agents are flooding public services with new requests57m ago Apple’s first foldable is the iPhone Duo, and it costs $1,99957m ago Anthropic Is Building a Huge Surveillance System to Spy on Anti-AI Activists and Predict Their Activities1h ago Antioch raises $32m to test robots in simulation before they touch hardware1h ago OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit2h ago 10 of the scariest AI villains in movie history2h ago Maven Robotics wants to steal your robot deployment deal2h ago

Universal Music is launching an AI music platform with ElevenLabs13m ago An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'22m ago AI #185: Preference Cascade46m ago Nintendo's latest sale is 'made possible' by the tariff refunds it's hoarding50m ago Meta Announces Muse AI Agent for Personal Tasks and Organization51m ago Now everyone can put data to work51m ago Instagram now lets you add tagged photos to your profile grid51m ago AI agents are flooding public services with new requests57m ago Apple’s first foldable is the iPhone Duo, and it costs $1,99957m ago Anthropic Is Building a Huge Surveillance System to Spy on Anti-AI Activists and Predict Their Activities1h ago Antioch raises $32m to test robots in simulation before they touch hardware1h ago OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit2h ago 10 of the scariest AI villains in movie history2h ago Maven Robotics wants to steal your robot deployment deal2h ago

AI Research Machine Learning2 min reading time

Ten advances in mathematics and theoretical computer science

Simon Willison's WeblogPublished Aug 1, 2026

OpenAI used an internal model called Astra to solve ten longstanding mathematical problems with minimal computational cost, providing formalized proofs and detailed reasoning. This effort follows Anthropic's cryptographic research using Claude and highlights AI's growing role in advancing complex mathematics.

More on this story

The AI takeover of mathematics has begun
30d· The Verge
What is OpenAI Astra? Everything we know about the new — and possibly dangerous — new model
Aug 8· Mashable
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Aug 3· 2 sources
OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math
Aug 2· Gizmodo
Mathematics Without Mathematicians
Aug 2· Hacker News

#astra #gpt-5-6 #lean-4 #mathematical-proofs #openai

More in AI Research

AI Research4 min read

An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'

Covered by 11 sources1d ago

AI Research3 min read

Worried Anthropic researchers warn that AI ‘could kill all humans’

Covered by 8 sources1d ago

AI Research4 min read

Suno trained its v6 AI music models with help from Warner and BMG

Covered by 5 sources1d ago