Datasette 1.0a39 and 0.65.4 security releases37m ago Anthropic caught scientists using Claude to further biological weapon research1h ago Oracle says AI will save it from the SaaSpocalypse, not bring it on1h ago Congress Is Suddenly Waking Up to the AI Doomsday Threat2h ago Don’t ask ChatGPT 'What should I do?' — this simple prompt helps you make better decisions yourself2h ago Extreme Networks’ Agent ONE Coworker moves AI networking from dashboards to answers2h ago Introducing ChatGPT for Financial Services2h ago Tesla unveils driverless Cybercab in Japan for 1st time3h ago The AI safety vibe shift3h ago Sam Altman met with top power utilities about securing the electrical grid. He offered one possible solution: OpenAI's cyber services.3h ago OpenAI Is Open to Slowing Cutting-Edge AI, CEO Sam Altman Tells Staff3h ago Tencent-Backed Chipmaker Enflame Jumps 188% in Shanghai Debut4h ago Salesforce introduces Enterprise AI Harness, AI Control Plane4h ago The Race for the Next Big Weight-Loss Drug Is On—and China Wants In4h ago

Datasette 1.0a39 and 0.65.4 security releases37m ago Anthropic caught scientists using Claude to further biological weapon research1h ago Oracle says AI will save it from the SaaSpocalypse, not bring it on1h ago Congress Is Suddenly Waking Up to the AI Doomsday Threat2h ago Don’t ask ChatGPT 'What should I do?' — this simple prompt helps you make better decisions yourself2h ago Extreme Networks’ Agent ONE Coworker moves AI networking from dashboards to answers2h ago Introducing ChatGPT for Financial Services2h ago Tesla unveils driverless Cybercab in Japan for 1st time3h ago The AI safety vibe shift3h ago Sam Altman met with top power utilities about securing the electrical grid. He offered one possible solution: OpenAI's cyber services.3h ago OpenAI Is Open to Slowing Cutting-Edge AI, CEO Sam Altman Tells Staff3h ago Tencent-Backed Chipmaker Enflame Jumps 188% in Shanghai Debut4h ago Salesforce introduces Enterprise AI Harness, AI Control Plane4h ago The Race for the Next Big Weight-Loss Drug Is On—and China Wants In4h ago

AI Research Education6 min reading time

Mathematics Without Mathematicians

Hacker NewsPublished Aug 2, 2026

OpenAI revealed that an unreleased AI model solved ten longstanding mathematical problems, signaling a shift where AI may surpass human mathematicians in discovery, teaching, and application. Experts suggest humans will struggle to keep pace with AI-driven mathematics, which will advance beyond human comprehension and reshape the field fundamentally.

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

#ai-model #mathematical-problems #mathematics #mathlib #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 sources10h ago

AI Research4 min read

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

Covered by 2 sources21h ago