Universal Music is launching an AI music platform with ElevenLabs7m ago One resignation turned the embers of AI fear into a wildfire17m ago AI #185: Preference Cascade41m ago Nintendo's latest sale is 'made possible' by the tariff refunds it's hoarding45m ago Now everyone can put data to work46m ago Instagram now lets you add tagged photos to your profile grid46m ago Meta Announces Muse AI Agent for Personal Tasks and Organization46m ago AI agents are flooding public services with new requests52m ago Apple’s first foldable is the iPhone Duo, and it costs $1,99952m ago An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'54m ago Anthropic Is Building a Huge Surveillance System to Spy on Anti-AI Activists and Predict Their Activities1h ago Antioch raises $32m to test robots in simulation before they touch hardware1h ago OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit1h ago 10 of the scariest AI villains in movie history1h ago

Universal Music is launching an AI music platform with ElevenLabs7m ago One resignation turned the embers of AI fear into a wildfire17m ago AI #185: Preference Cascade41m ago Nintendo's latest sale is 'made possible' by the tariff refunds it's hoarding45m ago Now everyone can put data to work46m ago Instagram now lets you add tagged photos to your profile grid46m ago Meta Announces Muse AI Agent for Personal Tasks and Organization46m ago AI agents are flooding public services with new requests52m ago Apple’s first foldable is the iPhone Duo, and it costs $1,99952m ago An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'54m ago Anthropic Is Building a Huge Surveillance System to Spy on Anti-AI Activists and Predict Their Activities1h ago Antioch raises $32m to test robots in simulation before they touch hardware1h ago OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit1h ago 10 of the scariest AI villains in movie history1h 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 10 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

Suno trained its v6 AI music models with help from Warner and BMG

Covered by 5 sources1d ago