{
  "schema_version": "1.0.0",
  "source": "vibemath",
  "problem_id": "vibemathed:iid-list-update-transposition",
  "title": "Transposition is Nearly Optimal for IID List Update",
  "canonical_statement": "In the list update problem, is the simple transposition rule optimal under IID requests? The question traces to Rivest's 1976 study of self-organizing lists. The paper proves transposition is within a small constant factor of the optimal online algorithm under any IID distribution.",
  "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:iid-list-update-transposition:event",
      "problem_id": "vibemathed:iid-list-update-transposition",
      "type": "proved",
      "status": "resolved",
      "occurred_at": "2026-03-10T00:00:00.000Z",
      "title": "arXiv",
      "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:iid-list-update-transposition:attempt"
      ],
      "method_family_ids": [
        "vibemathed:iid-list-update-transposition:method"
      ],
      "source_assertion_ids": [
        "vibemathed:iid-list-update-transposition:assertion"
      ]
    }
  ],
  "attempts": [
    {
      "id": "vibemathed:iid-list-update-transposition:attempt",
      "problem_id": "vibemathed:iid-list-update-transposition",
      "model": "GPT-5 Pro",
      "provider": "OpenAI",
      "attempted_at": "2026-03-10T00:00:00.000Z",
      "human_collaborators": [
        "Christian Coester"
      ],
      "exposure": "unknown",
      "prompt_public": null,
      "outcome": "\"The AI generated the idea that the inequality might hold, and hypothesized, based on experiments with small n, that coefficients of the corresponding polynomial appear to be nonnegative. Although the AI was unable to prove these statements... these suggestions were essential for motivating the proof approach pursued in this paper.\"",
      "failed_routes": [],
      "artifacts": [],
      "sources": [
        {
          "label": "arXiv",
          "url": "https://arxiv.org/abs/2603.10244",
          "kind": "primary-mathematical-source",
          "license": null
        },
        {
          "label": "VibeMathed: Transposition is Nearly Optimal for IID List Update",
          "url": "https://vibemathed.com/problem/iid-list-update-transposition",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        }
      ],
      "cost_usd": null,
      "independence": "unknown"
    }
  ],
  "verifications": [
    {
      "id": "vibemathed:iid-list-update-transposition:verification",
      "problem_id": "vibemathed:iid-list-update-transposition",
      "solution_event_id": "vibemathed:iid-list-update-transposition:event",
      "level": "unreviewed",
      "mathematical_correctness": "unknown",
      "statement_fidelity": "unaudited",
      "peer_review": "none",
      "verifier": "VibeMathed (source-reported label)",
      "verified_at": null,
      "note": null,
      "sources": [
        {
          "label": "VibeMathed: Transposition is Nearly Optimal for IID List Update",
          "url": "https://vibemathed.com/problem/iid-list-update-transposition",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        },
        {
          "label": "arXiv",
          "url": "https://arxiv.org/abs/2603.10244",
          "kind": "primary-mathematical-source",
          "license": null
        }
      ]
    }
  ],
  "sources": [
    {
      "label": "arXiv",
      "url": "https://arxiv.org/abs/2603.10244",
      "kind": "primary-mathematical-source",
      "license": null
    },
    {
      "label": "VibeMathed: Transposition is Nearly Optimal for IID List Update",
      "url": "https://vibemathed.com/problem/iid-list-update-transposition",
      "kind": "source-assertion",
      "license": "https://vibemathed.com/data-license"
    }
  ],
  "recommended_mode": "verify",
  "recommended_exposure": "result_only",
  "opportunity_signals": [
    {
      "id": "vibemathed:iid-list-update-transposition:signal:watch_only",
      "problem_id": "vibemathed:iid-list-update-transposition",
      "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"
}