Erdős problems
PulseAugur coverage of Erdős problems — every cluster mentioning Erdős problems across labs, papers, and developer communities, ranked by signal.
3 天有情绪数据
-
OpenAI 的 Astra AI 解决了传奇的埃尔德什问题，重塑数学研究
OpenAI 宣布在数学领域取得重大突破，其未发布的 AI 模型 Astra 解决了几个长期存在的埃尔德什问题。这标志着一个关键时刻，AI 不仅在协助，而且在独立生成新的数学见解，包括单位距离问题的反例以及保罗·埃尔德什提出的另外三个猜想的解决方案。这些进展正在重塑数学研究，像 Noga Alon 这样的数学家指出 AI 能力的阶段性转变。这一发展还凸显了 AI 在以前由人类智慧主导的领域日益增长的影响力，OpenAI 的模型在解决这…
-
AI攻克传奇的埃尔德什难题，揭示数学创造力洞见 · 跟踪4个来源
人工智能越来越多地被用于解决长期存在的数学难题，特别是那些由多产数学家保罗·埃尔德什（Paul Erdős）提出的问题。这些“埃尔德什难题”以其难度而闻名，并且历史上一直难以被人类解决。人工智能在该领域的应用不仅解决了这些复杂的挑战，还揭示了数学创造力的本质以及人工智能可能如何为此做出贡献。
-
AI攻克长期存在的数学难题，引发科学界争论 · 追踪4个来源
AI在解决复杂数学问题方面取得了重大进展，包括那些困扰人类数学家数十年的问题。一个显著的突破发生在2026年7月，当时OpenAI的一个内部模型证伪了Paul Erdős关于单位距离问题的长期猜想。这一进展，以及AI在数学领域的其他成功，在数学界引发了辩论和身份危机，一些人庆祝进步，另一些人则哀叹人类数学发现可能衰落。这一趋势表明，AI在该领域的能力已迅速超越最初的预期。
-
AI系统'Starfleet'使用Lean 4解决数学问题
一个名为'Starfleet'的新AI系统已被开发出来，用于解决复杂的数学问题，包括Erdős提出的问题。该系统利用Lean 4编程语言，并被幽默地描述为一个需要2000个vCPU的桌面应用程序，让人联想到《星际迷航》。
-
使用并行 Codex 账户解决 20 个 Erdős 问题
一位数学家利用 20 个 Codex 账户实例来解决 20 个著名的 Erdős 问题。这种方法涉及并行运行这些账户来应对这些复杂的数学挑战。
-
用户声称 GPT 5.6 Pro 解决了五个 Erdős 问题
一位 Reddit 用户声称使用 GPT 5.6 Pro 解决了五个特定的 Erdős 数学问题。该用户此前曾使用 AI 模型解决数学问题，并与 Terence Tao 等著名数学家合作发表过论文。他发布了问题 730、671、948、346 和 1139 的解决方案链接。该用户经常在 Erdős 问题上测试 OpenAI 的新模型，这表明 AI 在应对复杂数学挑战方面的能力日益增强。
-
AI 系统 LeanMarathon 助力复杂数学研究的形式化
研究人员开发了 LeanMarathon，这是一个新的多代理系统，旨在提高 AI 在形式化复杂数学研究方面的可靠性。该系统使用不断演变的蓝图来管理证明骨架、自然语言图和依赖关系，从而实现更强大和并行化的形式化过程。LeanMarathon 成功形式化了近期两篇研究论文中的所有定理，包括与 Erdős 问题相关的定理，证明了其在处理长时程数学发展而无错误的能力。
-
新基准评估LLM的数学推理和证明验证能力
研究人员引入了新的基准和评估方法来评估大型语言模型的数学推理能力。ComBench侧重于奥林匹克级别的组合数学，区分证明推理和构造性实现，并发现即使是顶级模型也难以应对这些复杂任务。另一种方法TheoremBench使用Lean4语言评估LLM在形式数学中的定理证明能力，强调需要超越竞赛式问题来评估模型在更长、依赖性更强的数学发展中的表现。此外，一种用于研究级证明的严格步骤级验证方法旨在通过仔细检查每个推理步骤来解决LLM的不可靠性问题。
-
DeepMind的AlphaProof Nexus用AI解决了九个Erdős问题
Google DeepMind的AlphaProof Nexus已成功解决了九个Erdős问题，这是数学AI领域的一项重大成就。该系统利用Lean验证的证明，标志着AI在数学领域进入了一个新时代。此项进展紧随OpenAI最近关于几何学的声明。
-
AI 进展：数学难题获解，GPT-5.6 泄露，教皇发布 AI 警告
Google DeepMind 的 AlphaProof Nexus 已解决数个长期存在的数学难题，展示了 AI 在解决问题能力上的显著进步。另外，OpenAI 即将推出的 GPT-5.6 模型据传将侧重于增强的多步推理能力，可能于六月发布。此外，教皇 Leo XIV 已发布通谕，探讨 AI 的伦理考量，包括其对环境的影响和社会意义。
-
Google DeepMind AI 以低于 1000 美元解决了 9 个历史性数学难题
Google DeepMind 的 AlphaProof Nexus 已自主解决了九个公开的 Erdős 数学问题，其中包括两个悬而未决了 56 年的问题。该 AI 系统将大型语言模型与 Lean 编译器配对以进行自动证明验证，每个问题的突破成本仅为几百美元。这一发展展示了 AI 在生成原创数学解决方案和形式化验证方面的能力日益增强。
-
Google DeepMind AI 自主解决 9 个未解决的数学问题
Google DeepMind 开发了一个能够自主解决复杂数学问题的 AI 代理。该代理成功解决了 353 个未解决的 Erdos 问题中的 9 个，这是数学研究中的一项重大成就。该 AI 的问题解决方法成本效益极高，每个解决方案的成本仅为几百美元。
-
AI代理通过正式证明搜索解决开放性数学问题
研究人员开发了一种能够通过生成Lean等语言的正式证明来自主解决开放性数学问题的AI代理。该代理成功解决了353个开放性Erdős问题中的9个，并证明了492个OEIS猜想中的44个。AI驱动的正式证明搜索正在被整合到各个数学领域的研究中，展示了其在推进科学发现方面的潜力。
-
业余爱好者使用 ChatGPT 解决 60 年数学难题，专家惊讶
一位名叫 Liam Price 的 23 岁业余数学家使用 ChatGPT 解决了一个有 60 年历史的数学问题，即埃尔德什问题。据报道，Price 没有接受过高等数学训练，他使用 GPT-5.4 Pro 的一个提示词得出了解决方案。这一进展值得注意，因为它似乎采用了解决此类问题的新颖方法，可能在数学之外有更广泛的应用，并令 Terence Tao 等专家感到惊讶。