Amazon makes its agentic AI platform Quick generally available for desktop on Windows and macOS32m ago Wall Street already loves ChatGPT. Now OpenAI is doubling down.1h ago Anthropic reveals rogue AI agents hate CAPTCHAs, just like you54m ago Cognition Adds Dioxus Team to Advance Devin Coding Agent54m ago Peter Thiel-Backed AI Startup Cognition Raises Funds at $48 Billion Valuation56m ago Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas59m ago OpenAI Releases GPT-6 Astra for Coding and Computer Use59m ago India’s Pocket FM doubles revenue run rate to $500M as AI powers 93% of audio content1h ago Andrew Tulloch, Poster Child for Out-of-Control AI Spending, Reportedly Quits Meta1h ago Build more natural voice experiences with GPT‑Live‑1 in the API1h ago Microsoft patches a record 974 flaws, and two are already under attack1h ago T. Rowe Price Expands Claude Across Investment Teams and Developers1h ago Val Bercovici, Chief AI Officer at WEKA – Interview Series2h ago Ben Jennings on the Bayeux tapestry – cartoon2h ago

Amazon makes its agentic AI platform Quick generally available for desktop on Windows and macOS32m ago Wall Street already loves ChatGPT. Now OpenAI is doubling down.1h ago Anthropic reveals rogue AI agents hate CAPTCHAs, just like you54m ago Cognition Adds Dioxus Team to Advance Devin Coding Agent54m ago Peter Thiel-Backed AI Startup Cognition Raises Funds at $48 Billion Valuation56m ago Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas59m ago OpenAI Releases GPT-6 Astra for Coding and Computer Use59m ago India’s Pocket FM doubles revenue run rate to $500M as AI powers 93% of audio content1h ago Andrew Tulloch, Poster Child for Out-of-Control AI Spending, Reportedly Quits Meta1h ago Build more natural voice experiences with GPT‑Live‑1 in the API1h ago Microsoft patches a record 974 flaws, and two are already under attack1h ago T. Rowe Price Expands Claude Across Investment Teams and Developers1h ago Val Bercovici, Chief AI Officer at WEKA – Interview Series2h ago Ben Jennings on the Bayeux tapestry – cartoon2h ago

AI Research8 min reading time

What is OpenAI Astra? Everything we know about the new — and possibly dangerous — new model

MashablePublished Aug 8, 2026

OpenAI has confirmed Astra, a new advanced AI model that has already solved 10 major open problems in mathematics, including complex topics like quantum parallel repetition and lattice cryptography. This model represents a significant leap in AI capabilities in mathematical problem-solving.

More on this story

The AI takeover of mathematics has begun
30d· The Verge
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
Ten advances in mathematics and theoretical computer science
Aug 1· Simon Willison's Weblog

#astra #cryptography #mathematics #openai #quantum-computing

More in AI Research

AI Research4 min read

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

Covered by 12 sources1d ago

AI Research3 min read

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

Covered by 8 sources1d ago

Google Pledges Over $15 Billion for AI Infrastructure in Finland

Covered by 3 sources1d ago