code · passed
Artifact ↗SHA-256: 38d6a3a670f87828c26929d09dce6e8a3f566a4e067b51a74a89ea9d3508fcfe
Verifier: CPython 3.10.15
Replayed
Five-variable Hessian counterexample artifact replay passed
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.
Exact FrontierDelta
Prior state unknown→Explicit construction artifact replay passed; symbolic determinant proof remains source-level
Scope and record
Occurred: Aug 29, 2026
Delta type: Not quantified
Canonical aliases: A Five-Variable Counterexample to the Hessian Conjecture · Hessian conjecture, $n=5$
Confidence: 98%
Attribution
MFN independent verifier
system · event recorded by
Guowu Meng
human · claimant · attributed to
MFN reproducibility audit
registry · attributed to
Liang Yang
human · attributed to
Artifacts and verifiers
witness · passed
Artifact ↗SHA-256: 5d6fe8113724220fe69a81dc860fc80fdf5371759cebbf4d28c17d195dde1c4e
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Liang Yang
This event attributed to Guowu Meng
MFN Hessian artifact replay report evidence for this event
Pinned no-CAS exact checker evidence for this event
This event derived from A five-variable counterexample to the Hessian conjecture, and the low-dimensional status of the Jacobian and Hessian conjectures
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. parent of this event
A Five-Variable Counterexample to the Hessian Conjecture parent of this event
This event attributed to MFN reproducibility audit
This event evidence for 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 event reproduces A five-variable counterexample to the Hessian conjecture, and the low-dimensional status of the Jacobian and Hessian conjectures