arXiv · cs.AI· Di Wu·· 16 小时前AI 评分27
FARMS：自动化计算科学的可验证基础
FARMS: A Verifiable Foundation for Automated Computational Science
来源与原文
arXiv · cs.AI
作者：Di Wu
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.40560v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
研究者提出 FARMS，一个将计算数学转化为 AI 可用计算知识的忠实高效基础，通过源准备、可复用表示与语义审查，把形式化命题与源上下文、算法含义和定量保证关联起来。在随机数值线性代数与数值偏微分方程的 171 个目标中，157 个被流水线接受，每个目标平均估计成本为 $0.85-2.29。系统经 Lean 校验的推理由显式源前提连接所选命题与计算技能，并以热流求解和波响应压缩为例说明。
来源：arXiv · cs.AI · arxiv.org