Math Conjectures
HomeProof claim audit

Evidence before headlines

Proof claim audit

18 recent claims with substantive supporting evidence, checked against their newest scope, final theorem, dependencies, formal assumptions, reproducibility, and independent mathematical reception. 5 currently clear the bar for an established result. Disputed, withdrawn, retracted, or materially incomplete artifacts are not listed on this site.

The decision rule

A build badge is not a proof.

The endpoint must match the advertised quantifiers and cannot depend on a decisive sorry, new axiom, black box, or unstated bridge. Machine checking is inspected at theorem level; conventional proofs require meaningful independent acceptance.

Grade B

2 claims · Clear filter

  1. CLAIM-005

    Thin-shell conjecture

    EstablishedGrade B

    Var(|X|^2) <= Cn for every isotropic log-concave law in every dimension.

    Established theorem.

    Formal / reproducible check

    Complete conventional proof at the exact standard scope; no proof-assistant formalization is claimed.

    Independent status evidence

    Field literature and an Oberwolfach report treat the result as the resolution of the conjecture.

  2. CLAIM-008

    Consistency of New Foundations

    Established · stated boundaryGrade B

    The relative consistency implication Con(ZFC) => Con(NF).

    Established relative result; the difficult TTT model is kernel-checked and the TTT-to-NF bridge remains a conventional paper proof.

    Formal / reproducible check

    The pinned ConNF build succeeds with no project sorry, admit, custom axiom, or unsafe; Lean proves the finite Hailperin axioms for the constructed TTT model.

    Independent status evidence

    The model-theory blueprint exposes the nonformalized bridge. The Stanford Encyclopedia reports the claimed relative result and its computer verification; it is status evidence, not an independent end-to-end reconstruction.