Amazon makes its agentic AI platform Quick generally available for desktop on Windows and macOS30m ago Wall Street already loves ChatGPT. Now OpenAI is doubling down.1h ago Anthropic reveals rogue AI agents hate CAPTCHAs, just like you51m ago Cognition Adds Dioxus Team to Advance Devin Coding Agent52m ago Peter Thiel-Backed AI Startup Cognition Raises Funds at $48 Billion Valuation54m ago Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas57m ago OpenAI Releases GPT-6 Astra for Coding and Computer Use57m 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 Series1h ago Ben Jennings on the Bayeux tapestry – cartoon1h ago

Amazon makes its agentic AI platform Quick generally available for desktop on Windows and macOS30m ago Wall Street already loves ChatGPT. Now OpenAI is doubling down.1h ago Anthropic reveals rogue AI agents hate CAPTCHAs, just like you51m ago Cognition Adds Dioxus Team to Advance Devin Coding Agent52m ago Peter Thiel-Backed AI Startup Cognition Raises Funds at $48 Billion Valuation54m ago Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas57m ago OpenAI Releases GPT-6 Astra for Coding and Computer Use57m 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 Series1h ago Ben Jennings on the Bayeux tapestry – cartoon1h 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 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