Mathematical FrontierNetworkSubmit movement

SYSTEM

MFN independent verifier

A public contribution graph assembled from attributed source metadata.

Claim this profile
7Attributed events
7Recorded attempts
NoProfile claimed
Aug 29, 2026Indexed since

Frontier movements

combinatoricsAug 30, 2026Significance 72/100

Hales–Jewett lower bound HJ(4,2) ≥ 14 independently reproduced

Prior state unknown→HJ(4,2) ≥ 14 independently reproduced

A clean-room standard-library verifier authenticated the frozen 560-cell coloring and exhaustively checked all 1,820 corner quadruples. None was monochromatic. The independent implementation also rejected an incomplete coloring and a deliberately monochromatic diagonal.

Independently reproducedHales–Jewett number HJ(4,2) →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatoricsAug 30, 2026Significance 76/100

Hales–Jewett lower bound HJ(3,3) ≥ 22 independently reproduced

Prior state unknown→HJ(3,3) ≥ 22 independently reproduced

A clean-room standard-library verifier authenticated the frozen 253-cell coloring and exhaustively checked all 1,771 corner triples. None was monochromatic. The independent implementation also rejected an incomplete coloring and a deliberately monochromatic diagonal.

Independently reproducedHales–Jewett number HJ(3,3) →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
combinatoricsAug 30, 2026Significance 68/100

WOWII Conjecture 200 counterexample independently reproduced

Prior state unknown→Explicit 14-vertex counterexample independently reproduced under the frozen statement

A clean standard-library implementation reconstructed the public 14-vertex graph and exhaustively checked all 16,383 nonempty induced vertex sets. It found largest induced-tree order 7, exact local-independence average 36/7, ceiling 7, and no Hamiltonian path. Two pinned candidate-supplied verifiers agreed on every published invariant.

Independently reproducedWritten on the Wall II Conjecture 200 →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topologyAug 30, 2026Significance 82/100

Exact maxout (3,5) certificate suite replay passed

Prior state unknown→Exact certificate replay supports a reported maximum of 42 vertices under stated reductions

The pinned public repository passed 132,869 checks with zero failures in its generation-independent upper-bound audit. Certificate transport passed 2,220 exact group-item checks, and the rational 42-vertex witness passed. The record remains scoped to artifact replay pending an independent audit of the geometric reductions.

ReplayedMaximum vertex number of a (3,5)-zonoboxtope →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
geometry-topologyAug 29, 2026Significance 76/100

Exact Kusner counterexample certificate replay passed

Prior state unknown→Exact rational-box certificate replay passed for 58 equilateral points in l_5^56

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.

ReplayedKusner's Conjecture on Equilateral Sets in ℓpn\ell_p^n →
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
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
MFN independent verifier — Mathematical Frontier Network