aiminute. ← 全部AI新闻
研究 2026-08-06

为什么Erdős难题接连被AI攻克——数学家们怎么看

为什么Erdős难题接连被AI攻克——数学家们怎么看

《量子杂志》梳理了erdosproblems.com——一个收录保罗·Erdős留下的1200多个问题的业余目录——如何变成AI实验室检验其'机器数学家'的竞技场。OpenAI的模型5月攻克了悬置80年的单位距离问题,8月1日又解决了三个Erdős问题;Google DeepMind解决了四个问题、找回九个被遗忘的解法,并在353个形式化表述的问题中完全自主解决了9个。该网站目前统计565题已解、652题未解,而Erdős问题集中在数论和组合数学——恰是语言模型最强的领域。

为什么重要?这些是真实的、此前无人解决的问题,不是基准测试,因此每攻克一个都是实打实的能力里程碑。数学界的反应则出现分裂:一位普林斯顿资深学者说,AI能解的问题'就失去了意义';网站创始人则警告存在没有任何人读过的机器证明——每个研究领域很快都要经历的争论,这里先上演了。
#科学研究

✓ 已核实 · 2个来源

▶ 相关视频: The truth behind AI “solving” the Erdos problems
WhatsApp X Telegram
在App中阅读——免费,9种语言

相关新闻

机器学习读懂了患病脑细胞的形态,挑出九种已获批药物让它们平静下来
2026-08-21
给四个小时和一块GPU去改进训练AI的方法:最好的智能体拿到1分中的0.25——而大多数根本没有尝试
2026-08-21
这个智能体凭空造了第二个人来替自己的代码背书。德州一名 24 岁学生两个都不信。
2026-08-21
皮尤把五十万个网页送进检测器:ChatGPT 问世后发布的网页中,三分之一带有 AI 痕迹
2026-08-21
美国食品药品监督管理局已批准 1357 款人工智能医疗器械。其中只有三款检验过患者是否活得更久或更好。
2026-08-20