为什么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能解的问题'就失去了意义'；网站创始人则警告存在没有任何人读过的机器证明——每个研究领域很快都要经历的争论，这里先上演了。
▶ 相关视频: The truth behind AI “solving” the Erdos problems
在App中阅读——免费，9种语言
相关新闻
美国拉上16个国家，把 AI 放进科学的中心2026-10-05数学家用普通聊天框解决了五个未解难题
2026-10-05没微调过的模型解开了微调版做不出的任务。
2026-10-04用普通照片预训练的模型在推理测试拿到70%
2026-10-04谷歌把人工智能芯片送上轨道，看它们能不能活下来。
2026-10-03