algebra / Affine Algebraic Geometry, Polynomial Maps
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 pinned no-CAS checker reproduced the degree, monomial count, exact rational gradient collision, and deterministic exact Hessian evaluations. VibeMathed's external label remains unreviewed; this is a separate local replay record.
VibeMathed recorded: A Five-Variable Counterexample to the Hessian Conjecture. Consult the linked registry entry for the original report and scope.
Research memory
The published polynomial Ψ=A²+13A+2B expands to 42 monomials of degree 14, has the reported rational gradient collision, and returned Hessian determinant 128 at all 40 deterministic exact test points in the no-CAS checker.
This is an artifact replay of the authors' checker at pinned commit 7b23ada. The finite exact evaluations do not replace the paper's symbolic determinant proof.
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.
Run the pinned no-CAS Hessian checker
success · MFN independent verifier
All checks passed, including the exact rational collision and deterministic Bareiss determinant evaluations.
Evidence graph
parent of · event · claim reported
parent of · event · reproduction
related to · problem · open