DeepMind的数学AI带着九个埃尔德什证明通过同行评审。
《科学》杂志10月8日刊发了谷歌DeepMind的AlphaProof Nexus研究。该系统证明了353个埃尔德什未解问题中的9个，以及44个整数数列猜想。每个证明都由Lean软件核查，但专家指出它无法判断题目本身是否表述正确。
为什么重要?OpenAI上周未经期刊评审就把722篇机器写的论文放到网上，引发数学家抗议。这篇论文说明，AI的成果也能走更慢但经过审查的路。
在App中阅读——免费，9种语言
相关新闻
一个模型用自己智能体团队的最佳成果再训练，变强了。2026-10-12AI编程智能体组队干活最多要贵五倍，效果却没好多少。
2026-10-12OpenAI的价目表里出现了一款它从未公布的科研模型。
2026-10-11尼康因生成式AI取消了一段显微视频的冠军。
2026-10-11没有一个人工智能模型能重新想出人类一月发表的方法。
2026-10-11