arXiv提出基于人机协作的广义Boyd算法，解决Lehmer问题高次障碍

摘要：arXiv发布了一项关于解决Lehmer问题（1933年提出）的研究成果，通过人机协作的发现循环，提出了广义Boyd算法。该算法通过引入快速数值管道、精确符号验证器和大规模分布式搜索，消除了高次多项式构造中的度数跳跃问题，并成功生成了Mahler测度低于Boyd极限点（α1 ≈ 1.255434）的不可约多项式。实验结果表明，该方法在所有偶数次多项式（最高至2000次）中改进了六项之前发表的值，并保持了99.6%的最佳已知记录。该研究还发布了经过验证的最小Mahler测度多项式数据集，为数学研究提供了重要资源。

---

背景与问题

Lehmer问题由Derrick Lehmer于1933年提出，旨在探讨整数多项式的Mahler测度是否可以任意小。Mahler测度用于衡量多项式根与单位圆的距离，其值越小，表示多项式根越接近单位圆。长期以来，构造具有小Mahler测度的不可约多项式一直是数学研究中的一个难题，尤其在高次多项式中难度更大。

现有方法与挑战

之前的研究主要集中于偶数次多项式（d ≤ 180），而对于更高次数的多项式，Boyd的解析单参数族方法经常出现因式分解问题，导致近50%的目标次数被跳过，无法提供通用的构造方法。

新方法：广义Boyd算法

本研究提出了一种基于人机协作的发现循环方法，通过以下步骤构建了广义Boyd算法：

1. 扩展对话式提示：结合快速数值管道、精确符号验证器和大规模分布式搜索，AI代理在本地原型化数值和符号求解器。
2. 并行搜索与验证：AI代理在分布式集群上启动并行搜索，并与人类研究者协作提取和验证数学假设。
3. 五参数构造：通过交互式循环，最终推导出五参数构造方法，即广义Boyd算法。

该算法成功消除了度数跳跃问题，并生成了Mahler测度低于Boyd极限点的不可约多项式。

实验与结果

在所有偶数次多项式（最高至2000次）的评估中，广义Boyd算法改进了六项之前发表的值，并保持了99.6%的最佳已知记录。具体表现如下：

• 改进记录：在多个高次多项式中取得了更小的Mahler测度值。
• 通用性：适用于任意目标次数，消除了度数跳跃问题。

结论与影响

本研究通过人机协作的发现循环，成功解决了Lehmer问题中高次多项式构造的难题，展示了AI在数学研究中的巨大潜力。广义Boyd算法的提出不仅为数学家提供了新的工具，还为AI与数学研究的深度融合开辟了新的方向。

开发者建议

• 工具集成：建议开发者将广义Boyd算法集成到现有的数学软件包中，以扩展其应用范围。
• 进一步研究：鼓励研究人员探索该算法在其他数学问题中的应用，如数论和组合学。
• 人机协作模式：建议探索更高效的人机协作模式，以加速复杂问题的解决。

---

消息来源：ArXiv AI (cs.AI) (2026-10-23)

—— 完 ——

主题标签： #人机协作 关注 #数学研究 关注 #AI数学 关注 #Lehmer问题 关注 #分布式搜索 关注