Universal Music is launching an AI music platform with ElevenLabs8m ago One resignation turned the embers of AI fear into a wildfire17m ago AI #185: Preference Cascade41m ago Nintendo's latest sale is 'made possible' by the tariff refunds it's hoarding45m ago Meta Announces Muse AI Agent for Personal Tasks and Organization46m ago Now everyone can put data to work46m ago Instagram now lets you add tagged photos to your profile grid46m ago AI agents are flooding public services with new requests52m ago Apple’s first foldable is the iPhone Duo, and it costs $1,99952m ago An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'54m 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 credit1h ago 10 of the scariest AI villains in movie history1h ago

Universal Music is launching an AI music platform with ElevenLabs8m ago One resignation turned the embers of AI fear into a wildfire17m ago AI #185: Preference Cascade41m ago Nintendo's latest sale is 'made possible' by the tariff refunds it's hoarding45m ago Meta Announces Muse AI Agent for Personal Tasks and Organization46m ago Now everyone can put data to work46m ago Instagram now lets you add tagged photos to your profile grid46m ago AI agents are flooding public services with new requests52m ago Apple’s first foldable is the iPhone Duo, and it costs $1,99952m ago An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'54m 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 credit1h ago 10 of the scariest AI villains in movie history1h ago

AI Research31 min reading time

OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems

Covered by 2 sourcesPublished Aug 3, 2026

OpenAI's unreleased model Astra has solved ten significant open problems in mathematics, producing formal proofs and narrations of its reasoning. These breakthroughs span areas like sphere packing, group theory, quantum games, and graph theory, showcasing advanced AI capabilities in complex mathematical reasoning.

Covered by 2 sources

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 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
Ten advances in mathematics and theoretical computer science
Aug 1· Simon Willison's Weblog

#astra #formal-proofs #mathematics #openai #quantum-games #sphere-packing

More in AI Research

AI Research4 min read

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

Covered by 10 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