arXiv 2026年10月5日BootLoops 汇集了来自粒子物理的积分约化、微分方程与高精度求值,来自实验数学的整数关系拟合,以及精确枚举与球算术,构成一个可由智能体式大语言模型操作并扩展的工具池,用 bootstrap 方法而非直接积分计算多圈费曼积分,覆盖多重对数、椭圆函数以及 K3 曲面与 Calabi-Yau 流形周期等函数类,并能把贝叶斯证据积分算成精确有理数、带完备性证明地枚举有限构型空间、判定所寻闭式解不存在,以及以有保证的位数重做浮点计算。BootLoops 汇集了来自粒子物理的积分约化、微分方程与高精度求值,来自实验数学的整数关系拟合,以及精确枚举与球算术,构成一个可由智能体式大语言模型操作并扩展的工具池,用 bootstrap 方法而非直接积分计算多圈费曼积分,覆盖多重对数、椭圆函数以及 K3 曲面与 Calabi-Yau 流形周期等函数类,并能把贝叶斯证据积分算成精确有理数、带完备性证明地枚举有限构型空间、判定所寻闭式解不存在,以及以有保证的位数重做浮点计算。BootLoops 把粒子物理的积分约化、实验数学的整数关系拟合与球算术打包成 LLM 可操作的精确计算工具箱,可把多圈费曼积分、贝叶斯证据积分与浮点误差重算变成精确结果BootLoops 汇集了来自粒子物理的积分约化、微分方程与高精度求值,来自实验数学的整数关系拟合,以及精确枚举与球算术,构成一个可由智能体式大语言模型操作并扩展的工具池,用 bootstrap 方法而非直接积分计算多圈费曼积分,覆盖多重对数、椭圆函数以及 K3 曲面与 Calabi-Yau 流形周期等函数类,并能把贝叶斯证据积分算成精确有理数、带完备性证明地枚举有限构型空间、判定所寻闭式解不存在,以及以有保证的位数重做浮点计算。BootLoops 汇集了来自粒子物理的积分约化、微分方程与高精度求值,来自实验数学的整数关系拟合,以及精确枚举与球算术,构成一个可由智能体式大语言模型操作并扩展的工具池,用 bootstrap 方法而非直接积分计算多圈费曼积分,覆盖多重对数、椭圆函数以及 K3 曲面与 Calabi-Yau 流形周期等函数类,并能把贝叶斯证据积分算成精确有理数、带完备性证明地枚举有限构型空间、判定所寻闭式解不存在,以及以有保证的位数重做浮点计算。