OpenAI's AI cracks decades-old Erdős conjecture in landmark mathematical breakthrough
By
New Scientist
Not artisan, but a perfectly fine bagel. Hits the spot.
Summary
OpenAI's AI has solved a decades-old mathematical conjecture by Paul Erdős, marking what mathematicians are calling AI's biggest breakthrough in mathematics yet. The achievement is hailed as a monumental moment for artificial intelligence in the field of mathematics.
Key quotes
· 3 pulledMathematicians stunned by AI's biggest breakthrough in mathematics yet
Artificial intelligence built by OpenAI has cracked a decades-old conjecture by Paul Erdős
Mathematicians have hailed which as a monumental moment for AI in mathematics
You might also wanna read
OpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture
An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed
openai.com·19d agoOpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture
An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed
openai.com·19d agoOpenAI model solves 80-year-old unit distance problem, disproving major geometry conjecture
An OpenAI model has disproved a central conjecture in discrete geometry by solving the 80-year-old planar unit distance problem first posed
openai.com·19d ago
Terence Tao on AI Milestone: Autonomous Solution to Erdos Problem #728 and Enhanced Mathematical Exposition Capabilities
Terence Tao discusses a milestone in AI-assisted mathematics where an Erdos problem (#728) was solved autonomously by AI tools, with the sol
mathstodon.xyz·5mo ago
OpenAI Researcher's GPT-5 Math Breakthrough Claim Retracted After Community Criticism
An OpenAI researcher claimed on X that GPT-5 had solved 10 previously unsolved Erdős mathematical problems and made progress on 11 more, but
the-decoder.com·8mo ago
AI-Assisted Mathematical Problem Solving: Collaborative Workflow on Erdős Problem #367
Mathematician Terence Tao describes a collaborative mathematical problem-solving process involving AI tools. The article details how mathema
mathstodon.xyz·6mo ago
AI Revolutionizes Formal Verification and Mathematical Proof Systems
The article discusses how AI is revolutionizing formal verification and mathematical proof systems, making them more accessible and mainstre
OpenAI and DeepMind AI Models Succeed in Challenging Math Exam
OpenAI and DeepMind AI models achieve success in a difficult math exam, sparking discussions on the advancement of AI capabilities.
news.ycombinator.com·11mo ago