OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit37m ago 10 of the scariest AI villains in movie history38m ago Maven Robotics wants to steal your robot deployment deal39m ago Agent Security Is Not AI Governance: Why Conflating The Two Is A Risk Enterprises Can't Afford42m ago Positron Valued at $5 Billion in New Funding as Demand for AI Chips Surges49m ago 7 Steps to Become a Forward Deployed Engineer in 202657m ago Ramp eyes $60bn valuation three months after $44bn, Bloomberg reports1h ago D-Matrix Connects Raptor XPUs to NVIDIA AI Factories via NVLink Fusion2h ago Andrew Tulloch, Poster Child for Out-of-Control AI Spending, Reportedly Quits Meta1h ago Mother Horrified When Instagram’s AI Scours Social Media for Invasive Information About Her Young Daughters1h ago Salesforce Unveils Six-Capability Trusted AI Harness for Enterprises2h ago US closes $1.9bn loan to restart the Iowa nuclear plant powering Google2h ago OpenAI Gives US Agencies 50% Off Models, Ending $1 Per Year Deal2h ago 47,000 job listings reveal the engineering roles that AI is creating2h ago

OpenAI’s Bubeck denies trying to cut Anthropic mathematician from credit37m ago 10 of the scariest AI villains in movie history38m ago Maven Robotics wants to steal your robot deployment deal39m ago Agent Security Is Not AI Governance: Why Conflating The Two Is A Risk Enterprises Can't Afford42m ago Positron Valued at $5 Billion in New Funding as Demand for AI Chips Surges49m ago 7 Steps to Become a Forward Deployed Engineer in 202657m ago Ramp eyes $60bn valuation three months after $44bn, Bloomberg reports1h ago D-Matrix Connects Raptor XPUs to NVIDIA AI Factories via NVLink Fusion2h ago Andrew Tulloch, Poster Child for Out-of-Control AI Spending, Reportedly Quits Meta1h ago Mother Horrified When Instagram’s AI Scours Social Media for Invasive Information About Her Young Daughters1h ago Salesforce Unveils Six-Capability Trusted AI Harness for Enterprises2h ago US closes $1.9bn loan to restart the Iowa nuclear plant powering Google2h ago OpenAI Gives US Agencies 50% Off Models, Ending $1 Per Year Deal2h ago 47,000 job listings reveal the engineering roles that AI is creating2h ago

AI Research Machine Learning17 min reading time

Why the Legendary Erdős Problems Are Falling to AI

Quanta MagazinePublished Aug 3, 2026

OpenAI's internal AI model solved the 'unit distance' problem posed by Paul Erdős in 1946, marking the first significant AI-derived mathematical proof. Later, OpenAI's Astra model made 10 more advances, solving three additional Erdős problems, signaling a shift in AI's role in mathematical research.

#astra-model #erdos-problems #openai #unit-distance-problem

More in AI Research

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

AI Research4 min read

An Anthropic researcher just quit, saying OpenAI and Anthropic are 'gambling with our lives'

Covered by 10 sources1d ago