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

Meta等学者提出了一种名为PatternBoost的新方法，使用Transformer构造了一个反例，反驳了一个悬而未决30年的数学猜想。PatternBoost结合了局部搜索和Transformer，通过生成初始数据集、训练模型、获取新结构、运行局部搜索等步骤，不断优化解决方案。该方法在无4-圈问题上表现优异，找到了比传统方法更佳的解，并且在6维超立方体的最小生成子图问题上取得了突破。PatternBoost的主要优势在于其广泛适用性和灵活性，可以应用于多种优化问题，为数学工作者提供了一个强大的工具。
来源：https://mp.weixin.qq.com/s/R3VZ1QnBeMUOs8Ig0Robhg