{
  "id": 17183155,
  "title": "FARMS: A Verifiable Foundation for Automated Computational Science",
  "url": "https://urgent.news/2026/10/29/farms-a-verifiable-foundation-for-automated-computational-science",
  "topic": "ai",
  "section": "AI",
  "published": "2026-10-29T17:40:57.000Z",
  "source": {
    "name": "arXiv cs.AI",
    "slug": "arxiv-cs-ai",
    "url": "https://arxiv.org/abs/2610.40560v1"
  },
  "original_language": "en",
  "account": null,
  "summary": "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…",
  "key_points": [],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 1,
    "also_reported_by": []
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}