LLM科学计算验证框架开源
推荐指数 69.0 NO. 005 · 2026.10.03
Stars138创建1 天前Forks26Issues0
为什么值得看
BootLoops 是一个让 LLM 执行高精度定量科学计算的 harness,提供可验证结果的科学仪器库和 agent 协议。对做 AI4Science 的团队来说,它解决了 LLM 做数学物理积分时结果不可信、无法复现的核心痛点。
BootLoops 1.0: certified computational tools and house engines for exact and high-precision physics and quantitative science, built to be driven by LLM agents. MIT; docs CC BY 4.0.
编辑判断
科学计算是 LLM 应用里最难验证的领域之一,之前大家要么让模型直接生成 Python 代码跑数值解,要么人工介入用 Mathematica 核对,但中间缺少一个结构化协议来保证每一步可审计。BootLoops 的设计比较聪明的地方在于把仪器文档和验证测试都写成 agent 能直接消费的格式,而不是给人看的 README。
跟同样做科学计算的开源项目比如 SciCode 或者 Google 的 AlphaGeometry 比,BootLoops 更偏基础设施层,不绑定特定模型,也不预设具体科学问题。如果你在做材料模拟、高能物理或者金融量化建模,且团队已经在用 Claude/GPT 做辅助推导,这个框架值得作为基线接入,至少能把幻觉率从黑盒变成白盒。
Star History
生态分析
Experimental
LLM驱动的高精度科学计算harness,填补AI4Science可信计算基础设施空白
独特价值:以可验证性为核心,为LLM agent提供数学物理积分的可信执行环境