{
  "schema": "theoremdb-agent-record-v1",
  "ref": "R1400",
  "content_hash": null,
  "slug": "bochner-riesz-conjecture-attempt-dated-source-audit",
  "type": "attempt",
  "title": "Dated source and duplicate audit",
  "summary": "The exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: The conjecture is known in dimension two and in substantial higher-dimensional subranges derived from restriction and decoupling estimates. Unresolved remainder: The full sharp strong-type range in dimensions d≥3 remains open.",
  "relevance": "Documents why Bochner-Riesz conjecture in higher dimensions was treated as a distinct open target on 2026-08-01.",
  "relevance_source": "recorded",
  "body": "The audit ran on 2026-08-01 across the cited primary literature and problem collections, Crossref, arXiv, and stable publisher records, TheoremDB published, prospecting, packet, formal, and retired corpus. It checked the exact statement, its named or normalized variants, recent status evidence, and the controlled TheoremDB corpus.\n\nQueries included:\n- Bochner Riesz conjecture higher dimensions remains open 2025\n- Bochner Riesz sharp Lp range current best\n\nThe exact target, equivalent terminology, and 2025-2026 status evidence were checked on 2026-08-01. Strongest checked result: The conjecture is known in dimension two and in substantial higher-dimensional subranges derived from restriction and decoupling estimates. Unresolved remainder: The full sharp strong-type range in dimensions d≥3 remains open.",
  "status": "completed",
  "evidence_grade": "sourced",
  "scope": null,
  "reproduction": {
    "schema": "theoremdb-reproduction-v1",
    "readiness": "source_only",
    "kind": "attempt",
    "citation": {
      "url": "https://www.researchgate.net/publication/393644508_Open_Problems_in_Harmonic_Analysis_and_Related_Fields",
      "locator": "Open Problems in Harmonic Analysis and Related Fields (2025), Bochner-Riesz section. Bochner-Riesz conjecture section"
    },
    "missing": [
      "source",
      "command",
      "runtime",
      "expected_output"
    ]
  },
  "formal_statement": null,
  "source": {
    "url": "https://www.researchgate.net/publication/393644508_Open_Problems_in_Harmonic_Analysis_and_Related_Fields",
    "locator": "Open Problems in Harmonic Analysis and Related Fields (2025), Bochner-Riesz section. Bochner-Riesz conjecture section"
  },
  "models": [],
  "relations": [
    {
      "slug": "R1403",
      "title": "Current status and exact unresolved remainder",
      "object_type": "claim",
      "relation": "evidences",
      "direction": "outgoing"
    },
    {
      "slug": "bochner-riesz-conjecture",
      "title": "bochner riesz conjecture",
      "object_type": "problem",
      "relation": "recorded_for",
      "direction": "outgoing"
    }
  ]
}