Congress Is Suddenly Waking Up to the AI Doomsday Threat37m ago Don’t ask ChatGPT 'What should I do?' — this simple prompt helps you make better decisions yourself45m ago Extreme Networks’ Agent ONE Coworker moves AI networking from dashboards to answers46m ago Introducing ChatGPT for Financial Services50m ago Tesla unveils driverless Cybercab in Japan for 1st time1h ago The AI safety vibe shift2h ago Sam Altman met with top power utilities about securing the electrical grid. He offered one possible solution: OpenAI's cyber services.2h ago OpenAI Is Open to Slowing Cutting-Edge AI, CEO Sam Altman Tells Staff2h ago Tencent-Backed Chipmaker Enflame Jumps 188% in Shanghai Debut2h ago Salesforce introduces Enterprise AI Harness, AI Control Plane2h ago The Race for the Next Big Weight-Loss Drug Is On—and China Wants In3h ago How Social Media Platforms Are Identifying AI Content3h ago DeepSeek launches V4.1-Flash and retires V4-Pro, its flagship model3h ago OpenAI Wants to Know if an AI Industry Slowdown Would Even Be Legal3h ago

Congress Is Suddenly Waking Up to the AI Doomsday Threat37m ago Don’t ask ChatGPT 'What should I do?' — this simple prompt helps you make better decisions yourself45m ago Extreme Networks’ Agent ONE Coworker moves AI networking from dashboards to answers46m ago Introducing ChatGPT for Financial Services50m ago Tesla unveils driverless Cybercab in Japan for 1st time1h ago The AI safety vibe shift2h ago Sam Altman met with top power utilities about securing the electrical grid. He offered one possible solution: OpenAI's cyber services.2h ago OpenAI Is Open to Slowing Cutting-Edge AI, CEO Sam Altman Tells Staff2h ago Tencent-Backed Chipmaker Enflame Jumps 188% in Shanghai Debut2h ago Salesforce introduces Enterprise AI Harness, AI Control Plane2h ago The Race for the Next Big Weight-Loss Drug Is On—and China Wants In3h ago How Social Media Platforms Are Identifying AI Content3h ago DeepSeek launches V4.1-Flash and retires V4-Pro, its flagship model3h ago OpenAI Wants to Know if an AI Industry Slowdown Would Even Be Legal3h 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
Aug 11· 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 13 sources2d ago

AI Research10 min read

Anthropic Details Disrupted Claude Misuse Across Seven Harm Areas

Covered by 4 sources9h ago

AI Research4 min read

OpenAI asks Congress for mandatory national AI safety rules before it adjourns

Covered by 2 sources20h ago