{
  "schema_version": "1.0.0",
  "source": "vibemath",
  "problem_id": "vibemathed:pak-slonim-stretched-schubert-polynomiality",
  "title": "Pak-Slonim Conjecture on Stretched Schubert Structure Constants",
  "canonical_statement": "Pak and Slonim conjectured that stretched Schubert structure constants are eventually polynomial. They are. Monomial coefficients in affine families of key and Schubert polynomials are eventually polynomial, and the Schubert duality of Watanabe carries this to the structure constants. The same result settles the polynomiality half of a conjecture of Alexandersson and Alhajjar for key polynomials.",
  "plain_summary": "VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.",
  "current_status": "resolved",
  "solution_events": [
    {
      "id": "vibemathed:pak-slonim-stretched-schubert-polynomiality:event",
      "problem_id": "vibemathed:pak-slonim-stretched-schubert-polynomiality",
      "type": "proved",
      "status": "resolved",
      "occurred_at": "2026-07-21T00:00:00.000Z",
      "title": "arXiv:2607.18746 - Polynomiality of Stretched Schubert Structure Constants and Key Coefficients",
      "summary": "VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.",
      "ai_contribution": "ai_assisted",
      "attempt_ids": [
        "vibemathed:pak-slonim-stretched-schubert-polynomiality:attempt"
      ],
      "method_family_ids": [
        "vibemathed:pak-slonim-stretched-schubert-polynomiality:method"
      ],
      "source_assertion_ids": [
        "vibemathed:pak-slonim-stretched-schubert-polynomiality:assertion"
      ]
    }
  ],
  "attempts": [
    {
      "id": "vibemathed:pak-slonim-stretched-schubert-polynomiality:attempt",
      "problem_id": "vibemathed:pak-slonim-stretched-schubert-polynomiality",
      "model": "Codex",
      "provider": "OpenAI",
      "attempted_at": "2026-07-21T00:00:00.000Z",
      "human_collaborators": [
        "Per Alexandersson"
      ],
      "exposure": "unknown",
      "prompt_public": null,
      "outcome": "The acknowledgement says only that Codex was used during preparation of the paper for proof exploration and editorial assistance. The two are not separated and no step is attributed, so the lowest tier applies.",
      "failed_routes": [],
      "artifacts": [],
      "sources": [
        {
          "label": "arXiv:2607.18746 - Polynomiality of Stretched Schubert Structure Constants and Key Coefficients",
          "url": "https://arxiv.org/abs/2607.18746",
          "kind": "primary-mathematical-source",
          "license": null
        },
        {
          "label": "VibeMathed: Pak-Slonim Conjecture on Stretched Schubert Structure Constants",
          "url": "https://vibemathed.com/problem/pak-slonim-stretched-schubert-polynomiality",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        }
      ],
      "cost_usd": null,
      "independence": "unknown"
    }
  ],
  "verifications": [
    {
      "id": "vibemathed:pak-slonim-stretched-schubert-polynomiality:verification",
      "problem_id": "vibemathed:pak-slonim-stretched-schubert-polynomiality",
      "solution_event_id": "vibemathed:pak-slonim-stretched-schubert-polynomiality:event",
      "level": "unreviewed",
      "mathematical_correctness": "unknown",
      "statement_fidelity": "unaudited",
      "peer_review": "none",
      "verifier": "VibeMathed (source-reported label)",
      "verified_at": null,
      "note": "Single-author arXiv preprint; not yet peer-reviewed.",
      "sources": [
        {
          "label": "VibeMathed: Pak-Slonim Conjecture on Stretched Schubert Structure Constants",
          "url": "https://vibemathed.com/problem/pak-slonim-stretched-schubert-polynomiality",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        },
        {
          "label": "arXiv:2607.18746 - Polynomiality of Stretched Schubert Structure Constants and Key Coefficients",
          "url": "https://arxiv.org/abs/2607.18746",
          "kind": "primary-mathematical-source",
          "license": null
        }
      ]
    }
  ],
  "sources": [
    {
      "label": "arXiv:2607.18746 - Polynomiality of Stretched Schubert Structure Constants and Key Coefficients",
      "url": "https://arxiv.org/abs/2607.18746",
      "kind": "primary-mathematical-source",
      "license": null
    },
    {
      "label": "VibeMathed: Pak-Slonim Conjecture on Stretched Schubert Structure Constants",
      "url": "https://vibemathed.com/problem/pak-slonim-stretched-schubert-polynomiality",
      "kind": "source-assertion",
      "license": "https://vibemathed.com/data-license"
    }
  ],
  "recommended_mode": "verify",
  "recommended_exposure": "result_only",
  "opportunity_signals": [
    {
      "id": "vibemathed:pak-slonim-stretched-schubert-polynomiality:signal:watch_only",
      "problem_id": "vibemathed:pak-slonim-stretched-schubert-polynomiality",
      "kind": "watch_only",
      "reason": "Current public evidence does not meet the default replay threshold.",
      "generated_at": "2026-09-13T16:28:40.178Z"
    }
  ],
  "uncertainties": [
    "VibeMath has not independently verified the mathematical claim.",
    "AI-attempt independence and training-data exposure are unknown unless explicitly documented.",
    "VibeMath has not independently audited the mathematical statement, proof, or novelty claim."
  ],
  "generated_at": "2026-09-13T16:28:40.178Z"
}