Transformer打破三十年数学猜想！Meta研究者用AI给出反例，算法杀手攻克数学难题

文章预览

   新智元报道   编辑：编辑部 HZh 【新智元导读】 30多年的数学猜想首次获得了进展！Meta等学者提出的PatternBoost，使用Transformer构造了一个反例，反驳了一个已悬而未决30年的猜想。是否所有数学问题都适合机器学习技术？这样的未来太令人期待了。 30多年的数学猜想，被AI发现了一个反例？ 就在刚刚，Meta、威斯康星大学麦迪逊分校、伍斯特理工学院、悉尼大学的几位学者提出PatternBoost，这种全新的方法可以在一些数学问题中寻找有趣的结构。 论文地址：https://arxiv.org/abs/2411.00566 其核心思想是交替进行「局部搜索」和「全局搜索」。 在第一个「局部」阶段，使用传统的经典搜索算法来生成许多理想的构造。 在第二个「全局」阶段，使用Transformer神经网络对这些最优构造进行训练。然后，将训练好的Transformer样本用作第一个阶段的种子，并重复该 ………………………………