OpenAI的通用推理模型证伪了离散几何学中一个已有80年历史的猜想，即单位距离问题。这标志着AI在数学领域取得了重大进展，因为该模型自主生成了一个新的证明，挑战了该领域长期以来的观点。与之前一项被撤回的说法不同，这一突破已得到数学家们的证实，包括那些先前表示怀疑的人。 AI
影响 展示了AI进行原创发现的能力，有可能加速科学和工程领域的突破。
排序理由 AI模型自主解决了长期存在的数学问题，并得到了数学家的证实。
AI 生成摘要 · Google Gemini · 来自 29 个来源。 我们如何撰写摘要 →
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.
125页“令人恐惧”的推演
OpenAI makes big splash with AI finding math problem breakthrough. Real lesson is to use AI to find counterexamples. An AI Insider analysis and scoop.
<!--[if !mso]><!--><!--<![endif]-->😸 OpenAI disproved math from the 1940s<!--[if mso]><xml><o:OfficeDocumentSettings><o:AllowPNG></o:AllowPNG><o:PixelsPerInch>96</o:PixelsPerInch></o:OfficeDocumentSettings></xml><![endif]--><!--[if mso]><style type="text/css"> h1, h2, h3, h4, h5,…
<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…
<!--[if !mso]><!--><!--<![endif]-->🧮 OpenAI cracks an 80-year math belief<!--[if mso]><xml><o:OfficeDocumentSettings><o:AllowPNG></o:AllowPNG><o:PixelsPerInch>96</o:PixelsPerInch></o:OfficeDocumentSettings></xml><![endif]--><!--[if mso]><style type="text/css"> h1, h2, h3, h4, h5,…
<p><a href="https://lobste.rs/s/hqzkqg/openai_model_has_disproved_central">Comments</a></p>
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.
An 80-year-old challenge in geometry has been cracked by an AI chatbot after a single prompt from mathematicians. Other mathematicians called the solution “incredible” and “the first result produced autonomously by an AI that I find interesting in itself”: doi.org/10.1038/d415...…
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…
An 80-year-old challenge in geometry has been cracked by an AI chatbot after a single prompt from mathematicians. Other mathematicians called the solution “incredible” and “the first result produced autonomously by an AI that I find interesting in itself”: doi.org/10.1038/d415...…
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
🤖 [OpenAI] Model OpenAI obalił główne przypuszczenie dotyczące geometrii dyskretnej 🔗 Więcej: https:// openai.com/index/model-disprov es-discrete-geometry-conjecture # AI # SztucznaInteligencja # TechNews # OpenAI # ArtificialIntelligence # technology # socialmedia # si
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/1to4mg8/ai_has_just_solved_not_one_but_nine_novel_math/"> <img alt="AI has just solved not one, but nine novel math problems, and proved 44 new conjectures. Some of these problems had been unsolved for 50 years." …
<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…
<table> <tr><td> <a href="https://www.reddit.com/r/singularity/comments/1tn8gmc/chart_math_problems_recently_solved_by_ai/"> <img alt="Chart: Math problems recently solved by AI" src="https://preview.redd.it/w0svgpqet93h1.png?width=640&crop=smart&auto=webp&s=14d35263b…