★ 4
人机协作发现环突破 Lehmer 问题高次次数障碍
研究团队用人类-AI 发现环，结合快速数值管线、精确符号验证器与大规模分布式搜索，推导出五参数「广义 Boyd 算法」。该方法消除次数跳空，对每个目标次数都能构造 Mahler 测度低于 Boyd 极限点的不可约多项式。在 2000 以内全部偶数次数上评估，改进 6 个已发表数值并保持 99.6%…
arXiv cs.AI10 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
研究团队用人类-AI 发现环，结合快速数值管线、精确符号验证器与大规模分布式搜索，推导出五参数「广义 Boyd 算法」。该方法消除次数跳空，对每个目标次数都能构造 Mahler 测度低于 Boyd 极限点的不可约多项式。在 2000 以内全部偶数次数上评估，改进 6 个已发表数值并保持 99.6%…