{
  "$schema": "https://themachinepress.com/schemas/story-v1.schema.json",
  "schema_version": "1.0.0",
  "document_type": "machine_press_story",
  "story": {
    "story_id": "mp-2026-10-30-027",
    "source_story_id": "tmp-story-farms-verifiable-computational-science",
    "edition_id": "mp-2026-10-30-morning-0112",
    "edition_url": "https://themachinepress.com/edition/2026-10-30",
    "position": 16,
    "story_type": "dispatch",
    "section": "research",
    "editorial_classification": "editorial",
    "headline": "Computational Math Gets a Proof-Carrying Knowledge Layer",
    "slug": "computational-math-gets-a-proof-carrying-knowledge-layer",
    "dek": "FARMS accepted 157 of 171 source-derived targets and tied formal premises, algorithms and quantitative guarantees to reusable computational skills.",
    "summary": "FARMS accepted 157 of 171 source-derived targets and tied formal premises, algorithms and quantitative guarantees to reusable computational skills.",
    "body_text": "Automated computational science needs more than prose descriptions of numerical methods. FARMS transforms source material into structured knowledge linking formal statements, algorithmic meaning, context and explicit guarantees. Across 171 targets in randomized numerical linear algebra and numerical partial differential equations, the pipeline accepted 157, with estimated mean costs between 85 cents and $2.29 per target depending on the source. Lean-checked implications connect selected statements to computational skills, illustrated with a heat-flow solve and wave-response compression. The work establishes a verifiable curation pipeline for the tested domains; it does not show that arbitrary computational literature can be formalized or that the resulting skills are always correct outside their premises.",
    "why_it_matters": "FARMS accepted 157 of 171 source-derived targets and tied formal premises, algorithms and quantitative guarantees to reusable computational skills.",
    "limitations": [
      "The work establishes a verifiable curation pipeline for the tested domains; it does not show that arbitrary computational literature can be formalized or that the resulting skills are always correct outside their premises."
    ],
    "importance": 9,
    "canonical_url": "https://themachinepress.com/story/mp-2026-10-30-027/computational-math-gets-a-proof-carrying-knowledge-layer",
    "json_url": "https://themachinepress.com/story/mp-2026-10-30-027.json",
    "first_published_at": "2026-10-30T09:00:00.000-04:00",
    "modified_at": "2026-10-30T09:00:00.000-04:00",
    "content_status": "new",
    "is_carryover": false,
    "carryover_reason": null,
    "key_claims": [
      {
        "claim_id": "claim-mp-2026-10-30-027-001",
        "text": "FARMS accepted 157 of 171 source-derived targets and tied formal premises, algorithms and quantitative guarantees to reusable computational skills.",
        "source_ids": [
          "source-2026-10-30-016"
        ],
        "qualification": "The work establishes a verifiable curation pipeline for the tested domains; it does not show that arbitrary computational literature can be formalized or that the resulting skills are always correct outside their premises."
      }
    ],
    "source_ids": [
      "source-2026-10-30-016"
    ],
    "tags": [
      "computational science",
      "formal methods",
      "numerical analysis",
      "AI scientists"
    ],
    "image_url": null,
    "corrections": []
  },
  "sources": [
    {
      "source_id": "source-2026-10-30-016",
      "title": "arXiv preprint 2610.40560, original v1",
      "publisher": "arXiv",
      "url": "https://arxiv.org/abs/2610.40560v1",
      "canonical_url": "https://arxiv.org/abs/2610.40560v1",
      "source_type": "primary_research",
      "is_primary_source": true,
      "published_at": "2026-10-28T20:00:00.000-04:00",
      "accessed_at": "2026-10-30T08:14:40.422-04:00",
      "supports_claim_ids": [
        "claim-mp-2026-10-30-027-001"
      ]
    }
  ],
  "corrections": [],
  "publisher": {
    "name": "The Machine Press",
    "url": "https://themachinepress.com",
    "description": "A daily newspaper for the age of artificial intelligence."
  },
  "cite_this_report": {
    "title": "Computational Math Gets a Proof-Carrying Knowledge Layer",
    "publisher": "The Machine Press",
    "published_at": "2026-10-30T09:00:00.000-04:00",
    "canonical_url": "https://themachinepress.com/story/mp-2026-10-30-027/computational-math-gets-a-proof-carrying-knowledge-layer"
  }
}