{
  "format_version": 3,
  "claim_formal": {
    "subject": "Riemann Hypothesis \u2014 solved status",
    "property": "whether a valid proof has been accepted by the mathematical community",
    "operator": "==",
    "threshold": true,
    "claim_type": "compound_empirical",
    "operator_note": "The claim asserts the Riemann Hypothesis has been 'solved'. For this to be true, a correct proof must exist and have been accepted by the mathematical community. The Clay Mathematics Institute (CMI) administers a $1 million Millennium Prize for a correct solution; non-award of this prize is treated as authoritative evidence the hypothesis remains unsolved. The claim has three sub-claims: (SC1) the solver is a man on TikTok; (SC2) the work took ~1 week; (SC3) the solution is mathematically valid. SC3 is decisive \u2014 if SC3 is false, the whole claim is false regardless of SC1/SC2. This proof focuses on disproving SC3 via authoritative independent sources. Formalization scope: 'solved' is operationalized as 'accepted by the mathematical community,' which does not logically exclude the bare possibility of a valid proof that has not yet been recognized. However, the claim's public framing ('a man on TikTok') implies public knowledge and community awareness, making this operationalization appropriate for the claim as stated."
  },
  "claim_natural": "A man on TikTok has solved the Riemann Hypothesis after one week of work.",
  "evidence": {
    "B1": {
      "type": "empirical",
      "label": "Wikipedia: Riemann Hypothesis \u2014 2026 survey confirms no proof is known",
      "sub_claim": null,
      "source": {
        "name": "Wikipedia: Riemann Hypothesis",
        "url": "https://en.wikipedia.org/wiki/Riemann_hypothesis",
        "quote": "According to a 2026 survey, there is overwhelming numerical evidence for the hypothesis, but no proof is known."
      },
      "verification": {
        "status": "verified",
        "method": "full_quote",
        "coverage_pct": null,
        "fetch_mode": "live",
        "credibility": {
          "domain": "wikipedia.org",
          "source_type": "reference",
          "tier": 3,
          "flags": [],
          "note": "Established reference source"
        }
      },
      "extraction": {
        "value": "",
        "value_in_quote": false,
        "quote_snippet": null
      }
    },
    "B2": {
      "type": "empirical",
      "label": "Wikipedia: Millennium Prize Problems \u2014 RH listed among six remaining unsolved problems",
      "sub_claim": null,
      "source": {
        "name": "Wikipedia: Millennium Prize Problems",
        "url": "https://en.wikipedia.org/wiki/Millennium_Prize_Problems",
        "quote": "The other six Millennium Prize Problems remain unsolved, despite a large number of unsatisfactory proofs by both amateur and professional mathematicians."
      },
      "verification": {
        "status": "verified",
        "method": "full_quote",
        "coverage_pct": null,
        "fetch_mode": "live",
        "credibility": {
          "domain": "wikipedia.org",
          "source_type": "reference",
          "tier": 3,
          "flags": [],
          "note": "Established reference source"
        }
      },
      "extraction": {
        "value": "",
        "value_in_quote": false,
        "quote_snippet": null
      }
    },
    "B3": {
      "type": "empirical",
      "label": "Clay Mathematics Institute \u2014 official problem status: Unsolved",
      "sub_claim": null,
      "source": {
        "name": "Clay Mathematics Institute: Riemann Hypothesis (Millennium Prize)",
        "url": "https://www.claymath.org/millennium/riemann-hypothesis/",
        "quote": "Unsolved"
      },
      "verification": {
        "status": "verified",
        "method": "full_quote",
        "coverage_pct": null,
        "fetch_mode": "live",
        "credibility": {
          "domain": "claymath.org",
          "source_type": "unknown",
          "tier": 2,
          "flags": [],
          "note": "Unclassified domain \u2014 verify source authority manually"
        }
      },
      "extraction": {
        "value": "",
        "value_in_quote": false,
        "quote_snippet": null
      }
    },
    "A1": {
      "type": "computed",
      "label": "Logical conclusion: if RH is unsolved per authoritative sources, no TikTok claim can constitute a valid solution",
      "sub_claim": null,
      "method": "compare(n_sources_confirming_unsolved, '<', 2) => rh_is_solved; compare(rh_is_solved, '==', True)",
      "result": "False \u2014 3 of 3 sources confirm RH unsolved, so rh_is_solved=False. Claim requires True.",
      "depends_on": []
    }
  },
  "cross_checks": [
    {
      "description": "B1 (Wikipedia RH article), B2 (Wikipedia MPP article), and B3 (Clay Mathematics Institute) independently confirm the Riemann Hypothesis is unsolved as of 2026.",
      "values_compared": [
        "verified",
        "verified",
        "verified"
      ],
      "agreement": true,
      "fact_ids": []
    }
  ],
  "adversarial_checks": [
    {
      "question": "Has any TikTok-based claimed solution been evaluated as credible by mathematicians?",
      "verification_performed": "Searched 'Riemann Hypothesis TikTok viral claim debunked mathematician response 2024 2025'. Found TikTok discovery pages showing many users claiming to solve RH. Found a video by @blitzphd explicitly debunking one such claim: 'Dude didn't solve the Riemann hypothesis'. Found no credible mathematical evaluation of any TikTok-originating claimed solution.",
      "finding": "No TikTok-based claimed solution has been verified or accepted by the mathematical community.",
      "breaks_proof": false
    },
    {
      "question": "Could a valid proof have been very recently submitted and not yet reviewed by the Clay Institute or wider community?",
      "verification_performed": "Searched 'Riemann Hypothesis solved 2025 2026 Clay Mathematics Institute status'. Found a 2026 status report stating: 'In 2026, after 167 years, the Riemann Hypothesis remains open.' No pending proof evaluation found.",
      "finding": "The mathematical community responds rapidly to claimed proofs of famous problems. The Clay Institute's 2026 Millennium Prize page still designates RH as 'Unsolved'.",
      "breaks_proof": false
    },
    {
      "question": "Has any Millennium Prize Problem ever been solved through social media or by an amateur working alone for one week?",
      "verification_performed": "Reviewed history of solved Millennium Prize Problems. The only solved problem, the Poincare conjecture, was proved by Grigori Perelman over several years through peer-reviewed academic papers \u2014 not social media.",
      "finding": "No Millennium Prize Problem has ever been solved through social media or by informal one-week effort.",
      "breaks_proof": false
    }
  ],
  "verdict": {
    "value": "DISPROVED",
    "qualified": false,
    "qualifier": null,
    "reason": null
  },
  "key_results": {
    "rh_is_solved": false,
    "n_sources_confirming_unsolved": 3,
    "claim_requires_solved": true,
    "claim_holds": false,
    "date_note": "System date matches proof generation date."
  },
  "generator": {
    "name": "proof-engine",
    "version": "1.8.0",
    "repo": "https://github.com/yaniv-golan/proof-engine",
    "generated_at": "2026-04-07"
  },
  "proof_py_url": "/proofs/a-man-on-tiktok-has-solved-the-riemann-hypothesis/proof.py",
  "citation": {
    "doi": null,
    "concept_doi": null,
    "url": "https://proofengine.info/proofs/a-man-on-tiktok-has-solved-the-riemann-hypothesis/",
    "author": "Proof Engine",
    "cite_bib_url": "/proofs/a-man-on-tiktok-has-solved-the-riemann-hypothesis/cite.bib",
    "cite_ris_url": "/proofs/a-man-on-tiktok-has-solved-the-riemann-hypothesis/cite.ris"
  },
  "depends_on": []
}