---
title: "FARMS: A Verifiable Foundation for Automated Computational Science"
source: "arXiv AI/CL/LG（论文）"
source_tier: "t2"
url: "https://arxiv.org/abs/2610.40560v1"
permalink: "https://feed.astralor.com/items/itm_2fa9f6c32be68f286f4b49ab"
published: "2026-10-29T17:40:57.000Z"
score: 53
channel: "ai"
tags: ["FARMS","Verifiable Foundation","Automated Computational Science","Automated","Here"]
---

# FARMS: A Verifiable Foundation for Automated Computational Science

## 速览

Automated computational science could accelerate discovery by selecting, adapting and developing numerical methods. This prospect requires mathematical knowledge that AI systems can interpret and reuse with explicit gua…

## 关键点

- Automated computational science could accelerate discovery by selecting, adapting and developing numerical methods.
- This prospect requires mathematical knowledge that AI systems can interpret and reuse with explicit guarantees.
- Here we present FARMS, a faithful and efficient foundation that transforms computational mathematics into AI-ready computing knowledge.

## 全文

Automated computational science could accelerate discovery by selecting, adapting and developing numerical methods. This prospect requires mathematical knowledge that AI systems can interpret and reuse with explicit guarantees. Here we present FARMS, a faithful and efficient foundation that transforms computational mathematics into AI-ready computing knowledge. FARMS connects formal statements to source context, algorithmic meaning and quantitative guarantees through source preparation, reusable representations and semantic review. Across 171 targets in randomized numerical linear algebra and numerical partial differential equations, 157 were accepted by the pipeline, with mean estimated costs of US \$0.85-2.29 per target across sources. Lean-checked implications from explicit source premises connect selected statements to computational skills, illustrated by a heat-flow solve and wave-response compression. FARMS therefore supports an affordable, reusable knowledge foundation for trustworthy automated computational science.

---

引用前请核对原文;本文由星际流动整理:https://feed.astralor.com/items/itm_2fa9f6c32be68f286f4b49ab