OpenAI model disproves 80-year-old math conjecture
作者PulseAugur 编辑部·[25 个来源]·
OpenAI's general-purpose reasoning model has disproved an 80-year-old conjecture in discrete geometry, known as the unit distance problem. This marks a significant advancement for AI in mathematics, as the model autonomously generated a novel proof that challenges long-held beliefs in the field. Unlike a previous claim that was retracted, this breakthrough has been validated by mathematicians, including those who previously expressed skepticism.
AI
影响
Demonstrates AI's capability for original discovery, potentially accelerating breakthroughs in science and engineering.
排序理由
AI model autonomously solves a long-standing mathematical problem, validated by mathematicians.
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
<p>Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning</p><p>OpenAI has claimed a further advance in AI reasoning after its technology successfully tackled an 80-year-old maths problem.</p><p>The company behind ChatGPT said it had <a href="h…
Email — The Rundown AI
TIER_1English(EN)·bounces+31366032-637c-8d9utci1mq15fs7p9a4h=kill-the-newsletter.com@em8370.daily.therundown.ai (bounces+31366032-637c-8d9utci1mq15fs7p9a4h=kill-the-newsletter.com@em8370.daily.therundown.ai)·
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed. Via @scientific_american #AI #ArtificialIntelligence 💻 🤖 🧠 #Science 🔭🔬🧪🥼🧑🔬 AI just solved an 80-year-old ...
<!-- SC_OFF --><div class="md"><p>Suppose your friend, a mathematician, woke up from a 5-year coma. How would you explain this to him? Do we even have an explanation other than "it is what it is"?</p> <p>EDIT: Lots of comments that are basically paraphrasing "it is…
Umělá inteligence právě vyřešila osmdesát let starý matematický problém Hlavolam, který vymyslel legendární matematik Paul Erdős a který byl považován za prakticky neřešitelný, právě vyřešila umělá inteligence vyvinutá společností OpenAI. Jedná se o průlom, který již řada vědců o…
Turns out you can solve # math through a judicious approach of just trying lots of stuff: https:// openai.com/index/model-disprov es-discrete-geometry-conjecture/ Seems to line up with the # mythos # llm hype where it still matters how you deploy this new artillery of resources, …
<h2> The Unsolvable, Until Now: Imagine a math problem so stubborn, it’s kept the brightest human minds stumped for 80 years. Not just a tricky equation, but a fundamental question in discrete geometry, resisting generations of mathematicians. I'll introduce the 'Hadamard maximal…
🤖 OpenAl claims Al breakthrough, says its model solved 80-year-old math problem submitted by /u/LectureInner8813 [link] [comments] 📰 Source: Artificial Intelligence (AI) 🔗 Link: https://www.reddit.com/r/artificial/comments/1tjerai/openal_claims_al_breakthrough_says_its_model/ # A…
🤖 An OpenAI model has disproved a central conjecture in discrete geometry submitted by /u/simulated-souls [link] [comments] 📰 Source: Artificial Intelligence (AI) 🔗 Link: https://www.reddit.com/r/artificial/comments/1tixhbv/an_openai_model_has_disproved_a_central/ # AI # Artifici…
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed. Via @scientific_american #AI #ArtificialIntelligence 💻 🤖 🧠 #Science 🔭🔬🧪🥼🧑🔬 AI just solved an 80-year-old ...
📰 OpenAI's reasoning model disproved a 1946 geometry conjecture, marking a significant advancement in mathematical research and challenging previous claims of its reliability. 🔗 https:// techcrunch.com/2026/05/20/open ai-claims-it-solved-an-80-year-old-math-problem-for-real-this-…
🧮 OpenAI annuncia una prova legata a Erdős: rigore, verifiche e una promessa che stavolta sembra reggere. La matematica osserva, cauta ma colpita. # AI # Matematica 🔗 https://www. tomshw.it/hardware/openai-prov a-erdos-modello-ragionamento
OpenAI's new reasoning model has disproved an 80-year-old geometry conjecture first posed by Paul Erdős in 1946. Unlike a similar mistake seven months ago, mathematicians including Thomas Bloom have now verified the proof. https:// techcrunch.com/2026/05/20/open ai-claims-it-solv…
An OpenAI model has disproved a central conjecture in discrete geometry https:// lobste.rs/s/hqzkqg # ai # math https:// openai.com/index/model-disprov es-discrete-geometry-conjecture/
An OpenAI model has disproved a central conjecture in discrete geometry https://openai.com/index/model-disproves-discrete-geometry-conjecture/ # AI # Math # Research
OpenAI claims it solved an 80-year-old math problem -- for real this time https://techcrunch.com/2026/05/20/openai-claims-it-solved-an-80-year-old-math-problem-for-real-this-time/ # AI # OpenSource # Science
An OpenAI model has disproved a central conjecture in discrete geometry https://openai.com/index/model-disproves-discrete-geometry-conjecture/ # HackerNews # Tech # AI
<table> <tr><td> <a href="https://www.reddit.com/r/OpenAI/comments/1tn5abo/a_chart_showing_how_many_unsolved_math_problems/"> <img alt="A chart showing how many unsolved math problems have recently been solved by AI" src="https://preview.redd.it/l1kcwp0wh93h1.png?width=640&cr…
