{
  "$schema": "https://themachinepress.com/schemas/story-v1.schema.json",
  "schema_version": "1.0.0",
  "document_type": "machine_press_story",
  "story": {
    "story_id": "mp-2026-09-05-008",
    "source_story_id": "tmp-story-autographforge-conjecture-pipeline",
    "edition_id": "mp-2026-09-05-morning-0058",
    "edition_url": "https://themachinepress.com/edition/2026-09-05",
    "position": 8,
    "story_type": "dispatch",
    "section": "weird-machine",
    "editorial_classification": "editorial",
    "headline": "Six Thousand Conjectures Survived the Counterexample Mill",
    "slug": "six-thousand-conjectures-survived-the-counterexample-mill",
    "dek": "AutoGraphForge grows its own graph table from failures, filters known relations, and sends survivors toward Lean verification.",
    "summary": "AutoGraphForge grows its own graph table from failures, filters known relations, and sends survivors toward Lean verification.",
    "body_text": "The pipeline begins with a few hundred graphs and adds only counterexamples to its own proposed relations. A novelty filter closes 559 classical and folklore relations under composition and substitution before testing survivors against roughly 348,000 graphs and targeted search algorithms. The authors report 6,522 surviving conjectures, including relations they then proved by hand. A later stage translates candidates into Lean 4 skeletons and places neural provers behind an independent kernel check. The full system is still running, so the result is an implemented research pipeline rather than a completed autonomous-mathematics census.",
    "why_it_matters": "AutoGraphForge grows its own graph table from failures, filters known relations, and sends survivors toward Lean verification.",
    "limitations": [
      "The pipeline begins with a few hundred graphs and adds only counterexamples to its own proposed relations."
    ],
    "importance": 8,
    "canonical_url": "https://themachinepress.com/story/mp-2026-09-05-008/six-thousand-conjectures-survived-the-counterexample-mill",
    "json_url": "https://themachinepress.com/story/mp-2026-09-05-008.json",
    "first_published_at": "2026-09-05T09:00:00.000-04:00",
    "modified_at": "2026-09-05T09:00:00.000-04:00",
    "content_status": "new",
    "is_carryover": false,
    "carryover_reason": null,
    "key_claims": [
      {
        "claim_id": "claim-mp-2026-09-05-008-001",
        "text": "AutoGraphForge grows its own graph table from failures, filters known relations, and sends survivors toward Lean verification.",
        "source_ids": [
          "source-2026-09-05-008"
        ],
        "qualification": "The pipeline begins with a few hundred graphs and adds only counterexamples to its own proposed relations."
      }
    ],
    "source_ids": [
      "source-2026-09-05-008"
    ],
    "tags": [
      "automated mathematics",
      "graph theory",
      "formal verification"
    ],
    "image_url": "https://themachinepress.com/issues/2026-09-05/autographforge-code-file.webp",
    "corrections": []
  },
  "sources": [
    {
      "source_id": "source-2026-09-05-008",
      "title": "arXiv preprint 2609.03478",
      "publisher": "arXiv",
      "url": "https://arxiv.org/abs/2609.03478",
      "canonical_url": "https://arxiv.org/abs/2609.03478",
      "source_type": "primary_research",
      "is_primary_source": true,
      "published_at": "2026-09-03T03:35:29.000-04:00",
      "accessed_at": "2026-09-05T08:25:30.000-04:00",
      "supports_claim_ids": [
        "claim-mp-2026-09-05-008-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": "Six Thousand Conjectures Survived the Counterexample Mill",
    "publisher": "The Machine Press",
    "published_at": "2026-09-05T09:00:00.000-04:00",
    "canonical_url": "https://themachinepress.com/story/mp-2026-09-05-008/six-thousand-conjectures-survived-the-counterexample-mill"
  }
}