"一个里程碑" 数学家陶哲轩确认,AI "或多或少自主地" 解决了埃尔德什问题 #728。 这个问题未被解决长达 50 年。 "这是这些工具在最近几个月能力真正提升的证明"