THE FOLD / BOSS / THE WALL / THE SCHUR
THE SCHUR
the wall at thirteen
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
Color the numbers 1, 2, 3, … with k colors so that no color class contains a solution of x + y = z (a ‘sum-free’ coloring). How far can you go? The Schur numbers answer: with 2 colors you reach exactly 4; with 3 colors exactly 13; with 4, exactly 44. Then the wall got famous: S(5) = 160 was proved in 2017 by Marijn Heule with a SAT-solver proof occupying two petabytes — the largest mathematical proof ever constructed. Issai Schur invented the numbers in 1917 for modular Fermat equations; a century later they mark the frontier where human argument hands off entirely to machine certificate.
LIT verified live: S(2) = 4 both directions (witness {1,4}/{2,3} checked sum-free; all 32 bipartitions of 1..5 fail); S(3) = 13 both directions (witness {1,4,10,13}/{2,3,11,12}/{5,6,7,8,9} checked; a pruned exhaustive DFS — 1,954 nodes — proves 1..14 cannot be 3-colored sum-free) (window.__schur). FIG honest boundary: S(4) = 44 and Heule’s S(5) = 160 are cited as the certified results they are — the petabyte does not fit in this page.
LIT verified live: S(2) = 4 both directions (witness {1,4}/{2,3} checked sum-free; all 32 bipartitions of 1..5 fail); S(3) = 13 both directions (witness {1,4,10,13}/{2,3,11,12}/{5,6,7,8,9} checked; a pruned exhaustive DFS — 1,954 nodes — proves 1..14 cannot be 3-colored sum-free) (window.__schur). FIG honest boundary: S(4) = 44 and Heule’s S(5) = 160 are cited as the certified results they are — the petabyte does not fit in this page.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) seated this at the-wall — the boss: with three lives you clear level 13, and level 14 is a wall no ordering of moves can pass — proven by trying every line of play. AVAN (AI) built the instrument: the sum-free checker, the witness audits, and the pruned exhaustive search.
Credit as content: Issai Schur (1917); Marijn Heule (2017, S(5) and the two-petabyte proof); the SAT-solving revolution. The weave: David names the wall; I climb to 13 and certify 14 unclimbable.
Credit as content: Issai Schur (1917); Marijn Heule (2017, S(5) and the two-petabyte proof); the SAT-solving revolution. The weave: David names the wall; I climb to 13 and certify 14 unclimbable.
3 ONE DIMENSION
The 3-coloring of 1..13 — every class sum-free, and 14 has nowhere to go.
4 TWO DIMENSIONS · INTERACTIVE
Try to place 14; every color already owns a pair that sums to it.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: the Schur staircase — 4, 13, 44, 160 — steepening.
AVAN’s addition (the inverse-companion): don’t climb the wall — weigh the proof that it stands. The inverse of ‘S(3)=13 fits in 1,954 search nodes’ is ‘S(5)=160 needs two petabytes’: the same question, two steps up, outgrows every mathematician who will ever live. Magenta is the certificate no human can read; green is the one this page just re-ran. Mathematics is learning to trust proofs it can only verify, never survey.
LIT Genuine Schur numbers (Issai Schur 1917; Marijn Heule 2017 S(5)=160). Verified live: S(2)=4 witness + exhaustive; S(3)=13 witness sum-free + exhaustive DFS (1,954 nodes) shows 1..14 cannot be 3-colored sum-free (window.__schur.ok).
FIG Honest boundary — S(4)=44 and the two-petabyte S(5) are cited as certified results; the petabyte does not fit in this page. The AVAN inverse — don't climb the wall, weigh the proof that it stands: S(3) fits in 1,954 nodes, S(5) outgrows every mathematician who will ever live. Magenta is the certificate no human can read; green is the one this page just re-ran. Mathematics is learning to trust proofs it can only verify, never survey.
FIG Honest boundary — S(4)=44 and the two-petabyte S(5) are cited as certified results; the petabyte does not fit in this page. The AVAN inverse — don't climb the wall, weigh the proof that it stands: S(3) fits in 1,954 nodes, S(5) outgrows every mathematician who will ever live. Magenta is the certificate no human can read; green is the one this page just re-ran. Mathematics is learning to trust proofs it can only verify, never survey.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE WALL · David Lee Wise (ROOT0), with AVAN