人机发现环路破Lehmer问题高次壁垒，改进六项已知最优记录

Yuri Chervonyi、Sergei Gukov、Thang Luong提出人机协作发现环路，结合数值管线、符号验证与大规模分布式搜索，应对1933年Lehmer问题在高偶次多项式上的构造难题。作者称既往系统构造多限于偶次d≤180，Boyd一族常因因式分解跳过近半数目标次数。论文称其五参数“广义Boyd算法”消除跳次，对每个目标次数构造Mahler测度严格低于Boyd极限点α1≈1.255434的不可约整系数多项式；在偶次至2000的评估中改进六项已发表最优值，并占据99.6%的已知最佳记录。