人类-AI发现闭环突破Lehmer问题高次障碍

2026年10月23日，arXiv Artificial Intelligence 刊出 Yuri Chervonyi 等作者的论文，提出用“人类-AI 发现闭环”处理 Lehmer 问题的高次情形。该闭环在对话式提示之外，加入快速数值流水线、精确符号验证器和大规模分布式搜索。报道称，团队由此推导出五参数的 Generalized Boyd 算法，对每个目标次数都能构造 Mahler 测度严格低于 Boyd 极限点 α₁≈1.255434 的不可约整系数多项式，从而消除了 Boyd 单参数族的跳次问题。论文同时表示，随工作发布一份经核验的数据集，覆盖所有已研究的偶数次数上 Mahler 测度最小的多项式。目前进展停留在论文与数据集发布层面，尚无后续独立复现或应用报道。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。