OpenAI's generative AI disproves Paul Erdős's 80-year-old mathematical conjecture
By
קרינה סמבליאן
Crisp on the outside, thoughtful on the inside. A keeper.
Summary
A generative AI model from OpenAI successfully disproved a long-standing mathematical conjecture proposed by Paul Erdős in 1946. The conjecture, which had remained unresolved for eighty years, was tackled by the AI as part of a research effort to test the capabilities of large language models in mathematical reasoning. The achievement demonstrates the growing potential of AI to contribute to formal mathematical research and problem-solving.
Key quotes
· 3 pulledEighty years ago, the mathematician Paul Erdős proposed a conjecture that was neither proved nor disproved.
That is, until AI arrived: a generative artificial intelligence model from OpenAI, tasked with addressing the claim, succeeded in disproving it!
According to the mathematician and computer scientist Noga Alon, it was one of Erdős's own favorite questions
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·10d 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·10d 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·10d 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·4mo ago
OpenAI Research Shows AI Hallucinations Are Mathematically Inevitable in Current Models
OpenAI's research paper provides a rigorous mathematical explanation for why AI language models like ChatGPT inevitably hallucinate (confide
theconversation.com·8mo 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·7mo 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
Google DeepMind's Aletheia: An Autonomous AI System for Mathematical Research and Proof Generation
Google DeepMind researchers introduce Aletheia, an autonomous mathematics research agent that can generate, verify, and revise mathematical
arxiv.org·3mo ago