FARMS 提出可验证的自动化计算科学基础

FARMS 将计算数学转化为 AI 可复用知识，通过 171 个目标测试，157 个被接受，平均成本 $0.85-2.29。 框架连接形式陈述与源背景，支持 Lean 验证的热流求解和波响应压缩。 这为可信的自动化计算科学提供了可负担、可复用的知识基础。