DeepMind于5月14日宣布 AlphaEvolve ，不仅改进了矩阵乘法算法，还取得一系列成果，打破 集合和差问题 （Sums and differences of sets problem）自2007年来的纪录也是其中之一。 这一次，人类方法使用测度集中性来计算渐近值， 只需要少量的计算机辅助 。 不到一个月时间，这个 停滞18年 的问题在人类与AI共同努力下3 次取得突破 。 陶哲轩转发评价道： 对我来说，这生动展示了处理数学问题时，大量计算机辅助、适度计算机辅助和传统"纸笔"方法未来的相互作用，这些模式各有优缺 点。 例如当前的AlphaEvolve很难处理后续论文中使用的渐近构造。 但另一方面，如果不先进行类似AlphaEvolve的半自动化搜索，人类方法也很难找到这些改进的机会。 梦晨 发自 凹非寺 量子位 | 公众号 QbitAI 数学家出手反击AI！对AlphaEvolve在"集合和差问题"上的成果进一步改进。 最新成果来自西班牙数学科学研究所ICMAT的博士后 Fan Zheng ， 这次他通过构造一系列特殊的集合U，在极限情况下将集合和差问题θ的下界提升至1.173077。 集合和差问 ...