西风 鹭羽 发自 凹非寺 量子位 | 公众号 QbitAI 刚刚，陶哲轩与多名数学家通力合作，为Erdős #1026正式画上了句号 。 至此，这个尘封50年的难题终于得到完全解决。 关键是，AI又立大功了。在多种AI工具的辅助下，整个解题流程仅用 48小时 便完成。 博采众家&AI之长，正在成为解决问题的关键。 正如陶哲轩本人所说： 用传统方法，一两位数学家用简单的编程和文献检索工具，最终也能完成， 但可能需要数周或者数月才能解决 。 陶哲轩随后亲自梳理并公开了此次问题被解决的完整过程。 消息传出后，网友纷纷感叹"太酷了"： 一起来看看他们究竟是如何解决的？ 48小时解决Erdős #1026 Erdős #1026 问题最早在1975年被提出，初始问题为： 但该问题表述相当模糊，于是数学家Desmond Weisenberg提议对这个函数的最小可能值进行研究，引入一个最大常数的量c(n)，使得： $$S(x_{1},\ldots,x_{n})\geq c(n)\sum_{i=1}^{n}x_{i}$$ 其中c(n)是所有长度为n的不同实数序列。 如果用 博弈论 来解释该问题，那么就是： 假设Alice有N ...