人机协同发现闭环突破莱默问题高次多项式难题

研究团队提出基于人机协作发现闭环的广义 Boyd 算法，突破了莱默问题在高次整系数不可约多项式构造中的瓶颈。该系统将 AI 对话提示词与数值流水线、精确符号验证器和分布式集群搜索结合，消除了高次多项式因分解而跳过近 50% 目标次数的限制。在最高至 2000 的所有偶数次数评估中，该方法改进了 6 项历史记录并占据 99.6% 的已知最优记录，同时开源了验证数据集。