AMAZINGINDEX.COM 让生活多一点 Amazing
57.7
VOL. 2026.10
2026.10.03
← 返回 2026.10.03 日报
日报快照 · Daily Snapshot
NO. 005

LLM科学计算验证框架开源

#REPO GitHub Search 2026.10.03
推荐指数 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提供数学物理积分的可信执行环境

查看原文 →