OpenAI 模型证伪一项已有 80 年的数学猜想

报道来源 [7]

1. X — OpenAI TIER_1 English(EN) · OpenAI · 2026-06-04 20:19

   收听 OpenAI 播客——

   Listen to the OpenAI Podcast on— Spotify https://t.co/1sYUSLF1cJ Apple https://t.co/zel5cpTVqT YouTube https://t.co/oYxzMX0Ocy

2. X — OpenAI TIER_1 English(EN) · OpenAI · 2026-06-04 20:19

   当我们的一个模型找到了一个80年前的Erdős猜想的反例时，发生了什么？

   What happened when one of our models found a counterexample to an 80-year-old Erdős conjecture? Researchers @alexwei_, @HongxunWu, and @wjmzbmr1 shared the story on the OpenAI Podcast with @AndrewMayne and explained how mathematicians and models can work together to make new htt…

3. Mastodon — fosstodon.org TIER_1 English(EN) · [email protected] · 2026-06-06 19:45

   一个长期存在的数学猜想已被证伪。# AI # 数学 # 科学 # 技术

   A longstanding mathematical conjecture has fallen. # AI # Mathematics # Science # Technology

4. Mastodon — fosstodon.org TIER_1 English(EN) · [email protected] · 2026-06-06 18:45

   OpenAI模型解决了一个困扰人类80年的著名数学难题。来自 @arstechnica #AI #人工智能 💻 🤖 🧠

   An OpenAI model solved a famous math problem that stumped humans for 80 years. Via @arstechnica #AI #ArtificialIntelligence 💻 🤖 🧠 An OpenAI model solved a famou...

   链接 arstechnica.com/…/openais-math-breakthrou…
5. dev.to — LLM tag TIER_1 中文(ZH) · cognitalk · 2026-06-06 13:57

   OpenAI的推理模型如何成功推翻了著名数学家Paul Erdős一项已有80年历史的数学猜想

   <p>在这期 OpenAI 播客中，主持人 Andrew Maine 邀请了来自 OpenAI 推理研究团队（Reasoning Research Team）的三位核心研究员：<strong>Alexander Wei</strong>、<strong>Hongxun Wu</strong> 和 <strong>Lijie Chen</strong>。他们详细分享了 OpenAI 推理模型如何成功推翻一个由著名数学家保罗·埃尔德什（Paul Erdős）提出的、长达 80 年之久的数学猜想 [<a href="https://www.youtube.co…

6. Mastodon — mastodon.social TIER_1 English(EN) · [email protected] · 2026-06-07 04:51

   通用人工智能模型能否找到一位数学家从未想过的联系？一个OpenAI的推理模型，而非为证明定理而构建的模型，推翻了Erdős的194

   Can a general AI model find a connection no mathematician thought to look for? An OpenAI reasoning model, not one built to prove theorems, disproved Erdős's 1946 unit-distance conjecture by attacking a geometry problem with deep tools from number theory, a link between distant fi…

   链接 benjaminhan.net/…/20260606-model-disprove…
7. Mastodon — mastodon.social TIER_1 English(EN) · [email protected] · 2026-06-06 18:45

   OpenAI模型解决了困扰人类80年的著名数学难题。 via @arstechnica #AI #ArtificialIntelligence 💻 🤖 🧠 OpenAI模型解决了著名的

   An OpenAI model solved a famous math problem that stumped humans for 80 years. Via @arstechnica #AI #ArtificialIntelligence 💻 🤖 🧠 An OpenAI model solved a famou...

   链接 arstechnica.com/…/openais-math-breakthrou…