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