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
Pinned no-CAS exact checker evidence for this event
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
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 attributed to MFN reproducibility audit
This event attributed to Guowu Meng
MFN Hessian artifact replay report evidence for this event
This event attributed to Liang Yang
A Five-Variable Counterexample to the Hessian Conjecture parent of 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
This event reproduces A five-variable counterexample to the Hessian conjecture, and the low-dimensional status of the Jacobian and Hessian conjectures
Act on this frontier