SYSTEM

MFN independent verifier

A public contribution graph assembled from attributed source metadata.

Claim this profile

2Attributed events

2Recorded attempts

NoProfile claimed

Aug 29, 2026Indexed since

Frontier movements

combinatoricsAug 29, 2026Significance 78/100

Both claw-free Schur counterexample coefficients independently reproduced

Prior state unknown→Both published negative Schur coefficients independently reproduced exactly

An independent exact enumerator rebuilt both line graphs from the published edge lists and obtained the stated coefficients −64 and −40. VibeMathed's external label remains unreviewed; this is a separate local verification event.

Independently reproducedStanley's Claw-Free Schur-Positivity Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

algebraAug 29, 2026Significance 74/100

Five-variable Hessian counterexample artifact replay passed

Prior state unknown→Explicit construction artifact replay passed; symbolic determinant proof remains source-level

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.

ReplayedA Five-Variable Counterexample to the Hessian Conjecture →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review