{
  "schema": "certiv_public_ai_discovery_dossier_v1",
  "corpus_id": "certiv-ai-discovery-2026-07-16",
  "reviewed_at": "2026-07-16",
  "evidence_boundary": "These are Certiv-authored test dossiers, not author-issued Certiv receipts. A pinned PDF proves file identity only. A passing selected replay records one bounded observation; it does not independently reproduce a paper's central claim or establish truth, novelty, priority, safety, or correct interpretation.",
  "case": {
    "slug": "ai-assisted-theoretical-physics",
    "case_type": "reported-discovery",
    "domain": "Theoretical physics and mathematics",
    "title": "Solving an Open Problem in Theoretical Physics using AI-Assisted Discovery",
    "authors": {
      "display": "Michael P. Brenner, Vincent Cohen-Addad, and David P. Woodruff",
      "count": 3
    },
    "paper": {
      "arxiv_id": "2603.04735",
      "version": "v1",
      "submitted": "2026-03-05",
      "version_date": "2026-03-05",
      "abs_url": "https://arxiv.org/abs/2603.04735v1",
      "pdf_url": "https://arxiv.org/pdf/2603.04735v1",
      "pdf_sha256": "70fce2b699eb79312cffa7b39d3cad07abb5e116d25dec5b901cd0768ff68858",
      "pdf_bytes": 699380,
      "pages": 22,
      "extracted_text_bytes": 47414,
      "parser_observations": [
        "Recognized as a PDF and not encrypted.",
        "pdfinfo reported JavaScript: no.",
        "pdfdetach reported no embedded files.",
        "pdftotext completed successfully."
      ]
    },
    "selection_rationale": "A very recent open-problem claim with analytical derivations, useful for separating inspectable exposition from an executable proof or independent expert validation.",
    "claim": {
      "reported": "The authors report that an AI-assisted neuro-symbolic workflow derived exact analytical solutions for a cosmic-string gravitational-radiation integral that they characterize as an open problem.",
      "certiv_observed": "The exact v1 paper was pinned and its prompts, search description, and derivations are inspectable in the paper. No public runnable artifact linked from the exact record was identified in this review.",
      "not_established": "The open-problem status, derivation correctness, novelty, system autonomy, and agreement with all relevant numerical or physical constraints were not independently adjudicated."
    },
    "verification_level": "source-pinned",
    "central_claim_independently_reproduced": false,
    "checks": [
      {
        "id": "pdf-identity",
        "status": "observed",
        "label": "Exact PDF identity",
        "observation": "The downloaded v1 PDF matched the recorded SHA-256, byte count, and page count.",
        "boundary": "This establishes file identity only."
      },
      {
        "id": "artifact-search",
        "status": "observed",
        "label": "Linked-artifact review",
        "observation": "No public runnable code or proof-checker artifact was identified from the exact arXiv record and paper during this review.",
        "boundary": "Absence from this review is not proof that no artifact exists elsewhere."
      },
      {
        "id": "derivation-review",
        "status": "not-run",
        "label": "Independent derivation and domain review",
        "observation": "No formal proof checker, independent symbolic derivation, or specialist peer assessment was completed.",
        "boundary": "The central result remains author-reported in this dossier."
      }
    ],
    "artifacts": [],
    "red_team_findings": [
      "A detailed derivation is inspectable evidence but not automatically a machine-checkable proof.",
      "Calling a problem open and a solution novel requires an independent literature and domain review.",
      "Prompts and workflow descriptions do not by themselves reproduce model behavior."
    ],
    "certiv_mapping": {
      "inputs": "Exact paper version and the derivations and prompts contained within it.",
      "checks": "Identity and linked-artifact review only.",
      "receipt_boundary": "source-pinned; analytical result not independently checked",
      "missing_for_deeper_verification": "Executable symbolic checks, raw search traces, pinned model behavior, numerical comparison data, and independent theoretical-physics review."
    },
    "sources": [
      {
        "label": "Exact arXiv record",
        "url": "https://arxiv.org/abs/2603.04735v1"
      }
    ]
  }
}