跳到主要内容
检索

# BootLoops 工具包

2 篇关联报道

订阅更新
  1. arXiv

    BootLoops 把粒子物理的积分约化、实验数学的整数关系拟合与球算术打包成 LLM 可操作的精确计算工具箱,可把多圈费曼积分、贝叶斯证据积分与浮点误差重算变成精确结果

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

  2. Anthropic

    Schwartz 用 BootLoops 让 Claude 端到端算出 30 个费曼积分,其中 15 个此前从未被计算

    理论物理学家 Matthew Schwartz 以客座文章形式描述了他构建 BootLoops 这一面向定量科学的开源 LLM 工具架的过程:他不再要求 Claude 像人类科学家那样工作,而是寻找“Claude 形状”的问题,结果 Claude 在约 20 分钟内复现了他过去需要数周编写的代码结果,并端到端完成 30 个费曼积分(15 个为已知结果的新方法复现、15 个为此前从未被计算),随后把同一类积分方法迁移到生态学、群体遗传学等领域,在三个月内与 19 位合作者推进 36 篇手稿、覆盖 18 个领域。

已读完全部报道