人机协作打破 Lehmer 问题高次度障碍

研究提出人机 AI 发现循环，推导五参数“广义 Boyd 算法”，构造不可约多项式，消除度跳跃并构建 Mahler 测度低于 Boyd 极限点 $\alpha_1 \approx 1.255434$ 的多项式。 算法在偶数次度 up to 2000 的评测中改进了 6 项已发表数值，保持 99.6% 的最佳记录，并发布了验证过的数据集。