T. Rowe Price Expands Claude Across Investment Teams and Developers21m ago Val Bercovici, Chief AI Officer at WEKA – Interview Series29m ago Ben Jennings on the Bayeux tapestry – cartoon29m ago The latest Avatar: Seven Havens trailer gives us a deeper dive into the characters and story30m ago Agentic AI Is The New Attack Surface: How Can SAP Application Security Teams Repel It?31m ago Pony.ai Starts Fully Driverless Robotaxi Passenger Tests in Zagreb32m ago Euno raises $23m to give enterprise AI agents the context they lack34m ago Nvidia’s Huang Touts Cybersecurity as Next Big Market for AI38m ago Universal Music is launching an AI music platform with ElevenLabs44m ago Red Hat AI 3.5 tackles the GPU queue that can stall AI pilots44m ago Moonshot Secretly Routed User Requests Through Claude, Anthropic Says46m ago A Candid Abacus AI Review: The All-in-One AI Platform for Professionals & Enterprises46m ago Governments are turning to Claude to automate spying46m ago Anthropic Says It Blocked Possible Efforts to Build Biological Weapons46m ago

T. Rowe Price Expands Claude Across Investment Teams and Developers21m ago Val Bercovici, Chief AI Officer at WEKA – Interview Series29m ago Ben Jennings on the Bayeux tapestry – cartoon29m ago The latest Avatar: Seven Havens trailer gives us a deeper dive into the characters and story30m ago Agentic AI Is The New Attack Surface: How Can SAP Application Security Teams Repel It?31m ago Pony.ai Starts Fully Driverless Robotaxi Passenger Tests in Zagreb32m ago Euno raises $23m to give enterprise AI agents the context they lack34m ago Nvidia’s Huang Touts Cybersecurity as Next Big Market for AI38m ago Universal Music is launching an AI music platform with ElevenLabs44m ago Red Hat AI 3.5 tackles the GPU queue that can stall AI pilots44m ago Moonshot Secretly Routed User Requests Through Claude, Anthropic Says46m ago A Candid Abacus AI Review: The All-in-One AI Platform for Professionals & Enterprises46m ago Governments are turning to Claude to automate spying46m ago Anthropic Says It Blocked Possible Efforts to Build Biological Weapons46m 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
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
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 12 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

Clay raises $115m at a $7.1bn valuation, more than double its 2025 price

The Next Web1h ago