机器之心报道 机器之心编辑部 刚刚，Erdos 问题 #124 的一个弱化版本被证明。 这个问题自 1984 年在《算术杂志》上发表的论文 「整数幂集的完备序列」 中提出以来， 近 30 年一直悬而 未决 。 证明该问题的是普林斯顿大学数学博士 Boris Alexeev ，使用了 来自 Harmonic 的数学 AI 智能体 Aristotle 运行了这个问题，智能体最近更新了更强的推理能力和 自然语言界面。 关于该问 题的一些报道都声称AI 独立解决了该问题的完整版本，事实却并非如此，产生了很多争议。 Boris Alexeev 为此进行了修正： 在 Formal Conjectures 项目中，该猜想有一个正式声明。不幸的是，该声明中有一个拼写错误，其中注释在显示式方程中显示为 「≥1」 ，而相 应的 Lean 声明为 「= 1」。（这使得声明变弱了。）因此，我也修正了这个问题，并包含了对修正后声明的证明。最后，我删除了我认为是不 必要的声明方面，Aristotle 也证明了这一点。 正如 DesmondWeisenberg 所提到的，存在一个涉及幂次 1（这里对应个位数）的问题，这意味着 [BEGL9 ...