Paul Erdős
PulseAugur coverage of Paul Erdős — every cluster mentioning Paul Erdős across labs, papers, and developer communities, ranked by signal.
- authored by unit distance problem 90%
- authored by Astra 90%
- authored by Daniel Litt 90%
- authored by Erdős problems 90%
- used by GPT-5.4 Pro 70%
- used by Astra 70%
- developed by unit distance problem 70%
- authored by Thomas Bloom 50%
- authored by GPT-5.4 Pro 50%
- affiliated with Erdős problems 50%
- affiliated with Timothy Gowers 50%
- authored by Timothy Gowers 50%
4 天有情绪数据
-
AI模型攻克保罗·埃尔德什的数学难题，引发争议
人工智能模型开始解决长期存在的数学问题，包括著名数学家保罗·埃尔德什提出的问题。这些问题中的许多都带有现金奖励，正被来自OpenAI和Google DeepMind等公司的AI系统以及人类数学家攻克。AI在该领域日益取得成功，引发了对数学证明本质及其对研究未来影响的疑问。
-
OpenAI 的 Astra AI 解决了传奇的埃尔德什问题，重塑数学研究
OpenAI 宣布在数学领域取得重大突破，其未发布的 AI 模型 Astra 解决了几个长期存在的埃尔德什问题。这标志着一个关键时刻，AI 不仅在协助，而且在独立生成新的数学见解，包括单位距离问题的反例以及保罗·埃尔德什提出的另外三个猜想的解决方案。这些进展正在重塑数学研究，像 Noga Alon 这样的数学家指出 AI 能力的阶段性转变。这一发展还凸显了 AI 在以前由人类智慧主导的领域日益增长的影响力，OpenAI 的模型在解决这…
-
OpenAI AI模型解决长期存在的数学难题
OpenAI的内部AI模型在数学领域取得了重大突破，特别是为Paul Erdős于1946年提出的一个猜想提供了一个反例。这个AI生成的证明虽然最初并非决定性的，但启发了人类数学家在此基础上进行研究，并将类似技术应用于解决其他复杂问题。2026年8月，又公布了进一步的进展，一个未发布的模型Astra解决了另外三个Erdős问题，这标志着AI在数学研究中的作用可能发生了一个阶段性转变。
-
AI攻克传奇的埃尔德什难题，揭示数学创造力洞见 · 跟踪4个来源
人工智能越来越多地被用于解决长期存在的数学难题，特别是那些由多产数学家保罗·埃尔德什（Paul Erdős）提出的问题。这些“埃尔德什难题”以其难度而闻名，并且历史上一直难以被人类解决。人工智能在该领域的应用不仅解决了这些复杂的挑战，还揭示了数学创造力的本质以及人工智能可能如何为此做出贡献。
-
AI证伪一项已有80年历史的数学猜想，引发信任辩论
一个AI模型证伪了一个长期存在的数学猜想，即单位距离问题，该问题由数学家Paul Erdős于1946年提出。这项困扰数学家长达八十年的突破，引发了关于AI生成证明的可靠性、应如何分配功劳以及此类先进数学工具的可及性等重大问题。
-
AI攻克长期存在的数学难题，引发科学界争论 · 追踪4个来源
AI在解决复杂数学问题方面取得了重大进展，包括那些困扰人类数学家数十年的问题。一个显著的突破发生在2026年7月，当时OpenAI的一个内部模型证伪了Paul Erdős关于单位距离问题的长期猜想。这一进展，以及AI在数学领域的其他成功，在数学界引发了辩论和身份危机，一些人庆祝进步，另一些人则哀叹人类数学发现可能衰落。这一趋势表明，AI在该领域的能力已迅速超越最初的预期。
-
OpenAI 的 Astra 模型解决了 10 个重大的数学问题，引发了辩论
OpenAI 披露了其未发布的模型 Astra 的详细信息，该模型已成功解决了数学和理论计算机科学中的十个重大的开放性问题。这些突破，以大约 2000 美元的 Sol API 费率的 token 成本实现，包括在球体打包、群论和复杂性理论等领域的进展，并已在 Lean 中形式化证明。虽然一些专家称赞这是科学推理的重大飞跃，并可能开启科学革命的开端，但其他人则警告不要夸大其影响，并强调在形式数学上的成功并不自动转化为通用智能或跨所有领域的可靠性。
-
数学家声称在5天内解决了6个未解的Erdős问题
一位Reddit用户声称在五天内解决了数学家Paul Erdős提出的六个未解问题。该用户在r/singularity子版块发帖，将其工作呈现为一项重大的数学成就。
-
GPT-5.6攻克50年Erdős数学难题
据报道，GPT-5.6已攻克一个存在50年的数学难题，具体来说是一个Erdős问题。这一成就通过Reddit得到突出展示，并链接到研究人员的几条推文，表明该模型在数学推理能力方面取得了重大进展。
-
AI代理使用形式证明解决了9个开放的Erdős数学问题
arXiv上的一项新研究详细介绍了一个名为Lean的AI驱动的形式证明搜索系统，该系统在解决复杂的数学问题方面取得了显著进展。该系统自主证明了9个开放的Erdős问题和44个OEIS猜想，利用编译器验证的证明来增强可靠性，优于自然语言推理。
-
OpenAI的生成式AI解决了80年的数学难题，启发医学创新
OpenAI开发的一个生成式人工智能模型解决了单位距离问题，这是一个困扰数学家80年的复杂几何难题。该AI的解决方案推翻了Paul Erdős长期以来的一个假设，它利用代数数论找到了一种新颖的方法。这一数学突破可以作为医学的隐喻，表明当前的医疗保健挑战只能通过质疑现有假设和拥抱创新解决方案来克服，而不仅仅是自动化当前实践。
-
AI 攻克埃尔德什数学难题，引发对研究护栏的呼吁
一个 AI 系统已成功解决了保罗·埃尔德什（Paul Erdős）提出的一个长期存在的数学问题，具体是欧几里得几何中的“快乐结局问题”（Happy Ending Problem）。这一成就促使数学家和 AI 专家呼吁为 AI 在科学研究中的应用制定伦理指南和安全措施。人们担心 AI 可能比人类更快地解决复杂问题，这引发了关于人类研究者未来角色的问题，以及在学术界负责任地部署 AI 的必要性。
-
数学天才特伦斯·陶倡导人工智能在数学研究中的应用
数学家特伦斯·陶（Terry Tao），一位在国际数学奥林匹克竞赛和普林斯顿大学取得早期成功的神童，已成为人工智能在数学领域应用的倡导者。他设想未来将有数百名数学家协同工作，人工智能系统将验证证明，甚至可能标记错误。陶的早年生活以非凡的数学天赋为标志，这在他童年时期和加速的学业进展中显而易见。
-
OpenAI 模型证伪一项已有 80 年的数学猜想
一个 OpenAI 模型成功证伪了由 Paul Erdős 提出的、已有 80 年历史的单位距离猜想。该模型利用“测试时计算”机制，探索了多种推理路径并自我纠正，最终得出了一个新颖的解决方案，挑战了长期以来认为方形网格排列是最优的观点。这一突破不仅推进了数学理解，还展示了人工智能与人类研究人员协作的潜力，从而在相关领域带来更多发现。
-
新流程优化几何学中的单位距离下界
研究人员开发了一个开源Python流程，用于优化和验证平面几何中单位距离问题的下界证书。该流程基于Sawin对Erdős单位距离猜想的定量改进，已成功复现现有参数并产生改进的证书。最新结果表明，n个平面点之间的最大单位距离数可能超过n^1.0152，进一步的改进暗示在扩展素数范围内可达到n^1.031。
-
新方法优化单位距离下界证书
研究人员开发了新的计算方法来优化单位距离问题的下界证书。这项工作建立在 2026 年对 Erdős 猜想的证伪之上，该猜想表明 n 个平面点之间的单位距离数量可以超过 n^(1+epsilon)。新方法将参数选择表述为非线性整数规划问题，并引入了一个开源的 Python 管道用于验证和改进。优化的证书表明，对于任意大的 n，单位距离的最大数量可以超过 n^1.0152。
-
人工智能“教父”Hinton预测超智能，警告资本主义剥削
被誉为“人工智能教父”的Geoffrey Hinton认为，人工智能正在迅速发展，并将很快超越人类智能。他强调了近期一个AI能够证明一个复杂的数学定理的能力，这表明AI在没有海量新数据集的情况下也具有自我改进的潜力。Hinton还表示担忧，认为资本主义体系将加剧人工智能的影响，导致大规模失业，因为企业将利润置于首位，用人工智能取代人类工人。
-
GPT-5.4 Pro解决60年历史数学难题，引发争议
一位业余数学家利用GPT-5.4 Pro解决了一个由Paul Erdős提出的长期存在的数学问题，该问题困扰了人类数学家60年之久。该AI的方法与人类方法截然不同，它通过重新构建问题而非使用传统技术找到了新的证明。这一成就引发了关于数学未来以及AI在科学发现中作用的辩论。
-
OpenAI AI 解决了已有80年历史的数学猜想
一个内部的OpenAI AI模型成功证伪了Erdős单位距离猜想，这是一个复杂且已悬而未决80年的数学难题。该AI模型应用现有的数学概念构建了一个完整的证明，这一壮举令包括菲尔兹奖得主Tim Gowers在内的数学家们印象深刻。虽然该AI并未开发出新的技术，但其综合知识和推演证明策略的能力标志着AI在数学研究领域贡献的一个重要进步，预示着人机协作的未来。
-
Demis Hassabis：解决数学问题并非真正的发明
Google DeepMind首席执行官Demis Hassabis表示，解决像Paul Erdős提出的数学问题并不等同于真正的发明。他认为，真正的发明涉及创造新颖的概念和技术，而不仅仅是在现有框架内找到解决方案。Hassabis强调，虽然数学能力很有价值，但它与推动技术进步的那种开创性创新是不同的。