{
  "schema_version": "1.0.0",
  "source": "vibemath",
  "problem_id": "vibemathed:tao-lebesgue-constants",
  "title": "Lower Bounds for Lebesgue Constants and an Erdős-Turán Interpolation Problem",
  "canonical_statement": "Localizing Bernstein theory to prove lower bounds for the Lebesgue constants of Lagrange interpolation, with application to a problem of Erdős and Turán and to a conjectured bound from the interpolation literature.",
  "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:tao-lebesgue-constants:event",
      "problem_id": "vibemathed:tao-lebesgue-constants",
      "type": "proved",
      "status": "resolved",
      "occurred_at": "2026-03-23T00: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_co_developed",
      "attempt_ids": [
        "vibemathed:tao-lebesgue-constants:attempt"
      ],
      "method_family_ids": [
        "vibemathed:tao-lebesgue-constants:method"
      ],
      "source_assertion_ids": [
        "vibemathed:tao-lebesgue-constants:assertion"
      ]
    }
  ],
  "attempts": [
    {
      "id": "vibemathed:tao-lebesgue-constants:attempt",
      "problem_id": "vibemathed:tao-lebesgue-constants",
      "model": "AlphaEvolve, ChatGPT",
      "provider": "Google DeepMind, OpenAI",
      "attempted_at": "2026-03-23T00:00:00.000Z",
      "human_collaborators": [
        "Terence Tao"
      ],
      "exposure": "unknown",
      "prompt_public": null,
      "outcome": "\"After some experimentation using the tool AlphaEvolve, the author was led to conjecture a proof of (1.29) by separately lower bounding each of these two factors. The first of these conjectures was then proven by ChatGPT, and the author was able to prove the second, thus giving a complete proof.\" Figures generated by Gemini.",
      "failed_routes": [],
      "artifacts": [],
      "sources": [
        {
          "label": "arXiv",
          "url": "https://arxiv.org/abs/2603.21453",
          "kind": "primary-mathematical-source",
          "license": null
        },
        {
          "label": "VibeMathed: Lower Bounds for Lebesgue Constants and an Erdős-Turán Interpolation Problem",
          "url": "https://vibemathed.com/problem/tao-lebesgue-constants",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        }
      ],
      "cost_usd": null,
      "independence": "unknown"
    }
  ],
  "verifications": [
    {
      "id": "vibemathed:tao-lebesgue-constants:verification",
      "problem_id": "vibemathed:tao-lebesgue-constants",
      "solution_event_id": "vibemathed:tao-lebesgue-constants: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: Lower Bounds for Lebesgue Constants and an Erdős-Turán Interpolation Problem",
          "url": "https://vibemathed.com/problem/tao-lebesgue-constants",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        },
        {
          "label": "arXiv",
          "url": "https://arxiv.org/abs/2603.21453",
          "kind": "primary-mathematical-source",
          "license": null
        }
      ]
    }
  ],
  "sources": [
    {
      "label": "arXiv",
      "url": "https://arxiv.org/abs/2603.21453",
      "kind": "primary-mathematical-source",
      "license": null
    },
    {
      "label": "VibeMathed: Lower Bounds for Lebesgue Constants and an Erdős-Turán Interpolation Problem",
      "url": "https://vibemathed.com/problem/tao-lebesgue-constants",
      "kind": "source-assertion",
      "license": "https://vibemathed.com/data-license"
    }
  ],
  "recommended_mode": "verify",
  "recommended_exposure": "result_only",
  "opportunity_signals": [
    {
      "id": "vibemathed:tao-lebesgue-constants:signal:watch_only",
      "problem_id": "vibemathed:tao-lebesgue-constants",
      "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"
}