★ 4
人机协作发现环突破 Lehmer 问题高次次数障碍
研究团队用人类-AI 发现环，结合快速数值管线、精确符号验证器与大规模分布式搜索，推导出五参数「广义 Boyd 算法」。该方法消除次数跳空，对每个目标次数都能构造 Mahler 测度低于 Boyd 极限点的不可约多项式。在 2000 以内全部偶数次数上评估，改进 6 个已发表数值并保持 99.6%…
arXiv cs.AI10 天前
#符号计算
共 3 篇相关资讯，按重要度与时间排序，每 3 小时更新。
★ 3
IneqAgent：结合符号计算在 Lean4 中证明不等式
论文提出 IneqAgent，将 LLM 推理与符号计算结合用于 Lean4 不等式证明，通过引理级蒙特卡洛树搜索协调引理构造、目标改写与符号后端选择。使用 DeepSeek-V4-Flash 时在四个基准上解决 186 题中的 175 题（94.09%），并在四维和五维上获得 Dittert 猜…
arXiv cs.AI17 天前
★ 2
多项式不变量诊断强化学习模拟器故障
研究利用从轨迹中恢复并规范化为Gröbner基的精确多项式不变量，检验物理结构对学习动力学预测的增益。发现精确性对预测帮助有限，但对故障诊断价值显著：筛查可定位全部15个注入故障且无误报，归因可恢复全部7个参数故障。
arXiv cs.LG48 天前
这个主题的相关资产
相关公司深度求索（DeepSeek）1