Paul Erdős
PulseAugur coverage of Paul Erdős — every cluster mentioning Paul Erdős across labs, papers, and developer communities, ranked by signal.
2 天有情绪数据
-
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强调，虽然数学能力很有价值，但它与推动技术进步的那种开创性创新是不同的。
-
OpenAI模型解决80年数学难题，引发争议
OpenAI宣布，一个未发布的新推理模型帮助解决了一个已有80年历史的数学猜想。该模型利用思维链推理，系统地探索了人类数学家曾忽略的路径。尽管令人印象深刻，但一些专家警告说，这一成就可能更多是OpenAI新模型的一次营销展示，而非AI辅助数学领域的重大进展，并建议小型、更专业的模型结合现有工具可能是未来的方向。
-
OpenAI AI模型证伪一项已有80年历史的数学猜想
OpenAI宣布在数学领域取得重大突破，其通用推理模型之一证伪了一个已有80年历史的猜想，即平面单位距离问题。该AI模型发现了离散几何与代数数论之间意想不到的联系，这一联系已被人类数学家验证，并被誉为一项里程碑。这一成就凸显了AI系统不仅能解决复杂问题，还能连接不同知识领域，从而可能加速未来的研究。
-
OpenAI模型证伪一项已有80年历史的数学猜想
OpenAI的通用推理模型证伪了离散几何学中一个已有80年历史的猜想，即单位距离问题。这标志着AI在数学领域取得了重大进展，因为该模型自主生成了一个新的证明，挑战了该领域长期以来的观点。与之前一项被撤回的说法不同，这一突破已得到数学家们的证实，包括那些先前表示怀疑的人。
-
OpenAI 的 GPT-5.4 Pro 助力解决一个已有 60 年的数学难题
OpenAI 宣布，一个被称为 Erdős 问题的、已有 60 年未解的数学难题，在其 GPT-5.4 Pro 模型的协助下得到了解决。OpenAI 的研究人员详细介绍了该 AI 的高级推理能力是如何在攻克这个复杂问题中发挥关键作用的。这一发展凸显了 AI 在应对具有挑战性的数学和逻辑谜题方面的能力日益增强。
-
OpenAI 的 GPT-5.4 Pro 助力解决一项 60 年的数学难题
OpenAI 的 GPT-5.4 Pro 协助解决了 Paul Erdős 提出的一个已有 60 年的数学问题。这一进展引发了关于人工智能在数学研究和解决问题方面未来的疑问。OpenAI 的研究人员在最新的 OpenAI 播客中讨论了这一突破的意义。
-
业余爱好者使用 ChatGPT 解决 60 年数学难题，专家惊讶
一位名叫 Liam Price 的 23 岁业余数学家使用 ChatGPT 解决了一个有 60 年历史的数学问题，即埃尔德什问题。据报道，Price 没有接受过高等数学训练，他使用 GPT-5.4 Pro 的一个提示词得出了解决方案。这一进展值得注意，因为它似乎采用了解决此类问题的新颖方法，可能在数学之外有更广泛的应用，并令 Terence Tao 等专家感到惊讶。
-
Hugging Face 论文介绍 SimpleTES 框架，用于扩展 LLM 驱动的科学发现
研究人员引入了一个名为 Simple Test-time Evaluation-driven Scaling (SimpleTES) 的框架，以增强语言模型驱动的科学发现的可扩展性。该方法策略性地结合了并行探索、反馈驱动的精炼和局部选择，以提高科学中试错循环的效率。在 21 个科学问题上，SimpleTES 取得了最先进的结果，性能优于前沿模型和现有优化方法，甚至在成功轨迹的训练后也能泛化到新问题。
-
OpenAI 的 GPT-5.2 推动科学与数学发展，评估显示灾难性风险较低
OpenAI 发布了 GPT-5.2，一款在数学和科学推理方面取得显著进步的新模型。该模型在 GPQA Diamond 和 FrontierMath 等基准测试中取得了高分，表明其通用推理和抽象能力有所提高。OpenAI 正在探索 GPT-5.2 如何通过协助研究人员进行证明生成、文献综述和复杂计算等工作来加速科学发现，同时强调人类监督和验证的持续重要性。