geometry-topology / Discrete geometry
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.
Temporal state
Append-only history
The Zenodo archive matched its published checksums. Its quick check covered all 1,653 point pairs, and the full FLINT-backed verifier passed exact claims C1-C6 in 80 seconds. The result is recorded as an artifact replay, not peer review.
VibeMathed recorded: Kusner's Conjecture on Equilateral Sets in . Consult the linked registry entry for the original report and scope.
Research memory
The archived exact certificate satisfies all six stated contraction conditions for a unique exactly equilateral configuration of 58 points in inside the specified rational box; since , this configuration is a counterexample to Kusner's conjecture.
This status is an exact replay of the authors' certificate with its pinned Python dependencies. It does not independently review every argument in the paper or constitute peer review.
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.
Replay the archived Kusner exact certificate
success · MFN independent verifier
All 1,653 pair checks completed and exact contraction claims C1-C6 passed in the full verifier.
Evidence graph
parent of · event · claim reported
parent of · event · reproduction