witness · passed
Artifact ↗SHA-256: 876eabf0c351c36f96160a8ef3baf4b131a1e8a7664be21ebacce39ffdbbdbb5
Independently reproduced
Hales–Jewett lower bound 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.
Exact FrontierDelta
Prior state unknown→HJ(3,3) ≥ 22 independently reproduced
Scope and record
Occurred: Aug 30, 2026
Delta type: Not quantified
Canonical aliases: None recorded
Confidence: 99%
Attribution
MFN independent verifier
system · event recorded by
Younes Mouhib
human · claimant · attributed to
MFN reproducibility audit
registry · attributed to
Artifacts and verifiers
independent reproduction · passed
Artifact ↗SHA-256: a106402916ecdc30d914ee96ea8591dd551cc128b8bc90ff80fab251ad3e7a1c
Verifier: hales-jewett-independent-verifier.py CPython 3.13.7 standard library; audit 2026-08-30
verifier · passed
Artifact ↗SHA-256: 93b63608d78e7b0a129c0cf262a560fb18e52e9278281bd793c71ab2761ec99f
Verifier: src/verify_certificates.py commit 6000a76f0e2e6021dc813e65cfd938adc26ec2e3; CPython 3.13.7
witness · passed
Artifact ↗SHA-256: f93ef465fc29304e7c08e9741b353b2f1f0e84cff5de8d9a652b822db447fb06
Compute record
No linked compute attempts recorded.
Lineage and corrections
Pinned candidate generic simplex verifier evidence for this event
This event attributed to MFN reproducibility audit
This event derived from Lower Bounds for the Hales-Jewett Numbers via Symmetric and One-Weight Colorings
This event reproduces Lower Bounds for the Hales-Jewett Numbers via Symmetric and One-Weight Colorings
Pinned arXiv v2 source evidence for this event
MFN Hales–Jewett lower-bound reproduction report evidence for this event
MFN clean-room Hales–Jewett certificate verifier evidence for this event
The Hales–Jewett number HJ(3,3) is at least 22. parent of this event
Hales–Jewett number HJ(3,3) parent of this event
Pinned T_21^(3) coloring certificate evidence for this event
This event attributed to Younes Mouhib
Next verification tasks
Ask a Ramsey-theory specialist to review the reduction, witness, prior-record claim, and publication status.
literature audit · priority 82 · open
Open race →