{
  "$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-11-003",
    "source_story_id": "tmp-story-open-imo-gold-recipe",
    "edition_id": "mp-2026-09-11-morning-0064",
    "edition_url": "https://themachinepress.com/edition/2026-09-11",
    "position": 3,
    "story_type": "dispatch",
    "section": "open-source",
    "editorial_classification": "editorial",
    "headline": "An Open Model Reached the IMO Gold Line Without a Formal Prover",
    "slug": "an-open-model-reached-the-imo-gold-line-without-a-formal-prover",
    "dek": "Nemotron specialists, iterative verification and a high-compute selector scored 30 of 42 points on the 2026 olympiad.",
    "summary": "Nemotron specialists, iterative verification and a high-compute selector scored 30 of 42 points on the 2026 olympiad.",
    "body_text": "Researchers post-trained two Nemotron 3 Ultra specialist checkpoints, then combined them with the general model in an iterative generate, verify and refine pipeline. The system used natural-language proofs only—no formal prover, internet access or external tools—and scored 30 out of 42 at IMO 2026, the reported gold-medal threshold. The release includes both specialist checkpoints, training data, inference code, submitted solutions and a 200-problem benchmark. It is a high-compute recipe, so the score does not by itself establish low-cost or broadly reliable mathematical reasoning.",
    "why_it_matters": "Nemotron specialists, iterative verification and a high-compute selector scored 30 of 42 points on the 2026 olympiad.",
    "limitations": [
      "The system used natural-language proofs only—no formal prover, internet access or external tools—and scored 30 out of 42 at IMO 2026, the reported gold-medal threshold.",
      "It is a high-compute recipe, so the score does not by itself establish low-cost or broadly reliable mathematical reasoning."
    ],
    "importance": 9,
    "canonical_url": "https://themachinepress.com/story/mp-2026-09-11-003/an-open-model-reached-the-imo-gold-line-without-a-formal-prover",
    "json_url": "https://themachinepress.com/story/mp-2026-09-11-003.json",
    "first_published_at": "2026-09-11T09:00:00.000-04:00",
    "modified_at": "2026-09-11T09:00:00.000-04:00",
    "content_status": "new",
    "is_carryover": false,
    "carryover_reason": null,
    "key_claims": [
      {
        "claim_id": "claim-mp-2026-09-11-003-001",
        "text": "Nemotron specialists, iterative verification and a high-compute selector scored 30 of 42 points on the 2026 olympiad.",
        "source_ids": [
          "source-2026-09-11-003"
        ],
        "qualification": "The system used natural-language proofs only—no formal prover, internet access or external tools—and scored 30 out of 42 at IMO 2026, the reported gold-medal threshold."
      }
    ],
    "source_ids": [
      "source-2026-09-11-003"
    ],
    "tags": [
      "open models",
      "mathematics",
      "IMO"
    ],
    "image_url": "https://themachinepress.com/issues/2026-09-11/open-imo-code-file.webp",
    "corrections": []
  },
  "sources": [
    {
      "source_id": "source-2026-09-11-003",
      "title": "arXiv preprint 2609.10712",
      "publisher": "arXiv",
      "url": "https://arxiv.org/abs/2609.10712",
      "canonical_url": "https://arxiv.org/abs/2609.10712",
      "source_type": "primary_research",
      "is_primary_source": true,
      "published_at": "2026-09-09T14:08:59.000-04:00",
      "accessed_at": "2026-09-11T08:25:00.000-04:00",
      "supports_claim_ids": [
        "claim-mp-2026-09-11-003-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": "An Open Model Reached the IMO Gold Line Without a Formal Prover",
    "publisher": "The Machine Press",
    "published_at": "2026-09-11T09:00:00.000-04:00",
    "canonical_url": "https://themachinepress.com/story/mp-2026-09-11-003/an-open-model-reached-the-imo-gold-line-without-a-formal-prover"
  }
}