n = 10

Proved at least

4,033,379

Shortest known

4,034,855

Gap

1,476

The record is W-0062, found by Jakub Halfar on Oct 6, 2026.

Every verified word

Word	Length	Found by	Date	Shorter than the record before	Repeats	Other windows
W-0062	4,034,855	Jakub Halfar	Oct 6, 2026	18	2,349	403,697
W-0040	4,034,873	rumstd	Oct 2, 2026	16	2,351	403,713
W-0033	4,034,889	Jay Pantone jaypantone	Oct 1, 2026	5	2,352	403,728
W-0024	4,034,894	Jay Pantone jaypantone	Sep 29, 2026	2,152	2,351	403,734
W-0016	4,037,046	William Echols	Jul 26, 2026	—	0	408,237

Bounds at n = 10

Upper bounds
4,037,047	Egan's bound, Greg Egan, 2018	Paper
4,037,046	Egan's bound minus one, Uku Raudvere, 2026	Lean, kernel-checked
4,036,242	The 101/120 bound, Jay Pantone jaypantone, 2026	Lean, kernel-checked
4,035,024	The 3/5 bound, Jay Pantone jaypantone, 2026	Lean, kernel-checked
4,034,855	W-0062, the shortest known word, Jakub Halfar, 2026	Checked word
1,476	gap
Lower bounds
4,033,379	S(10) ≥ 4,033,379, Jay Pantone jaypantone, 2026	Lean, kernel-checked
4,033,374	Pantone's bound, Jay Pantone jaypantone, 2026	Lean, statement reviewed
4,033,329	Halfar's general bound, Jakub Halfar, 2026	Lean, statement reviewed
4,033,159	Kisic's bound, Marin Kisic and Jakub Halfar, 2026	Lean, kernel-checked
4,033,080	Liu's bound, Xiaolong Liu, 2026	Lean, statement reviewed
4,032,575	The Hunter–Raudvere bound, Zach Hunter and Uku Raudvere, 2026	Lean, statement reviewed
4,032,273	Raudvere's bound, Uku Raudvere, 2026	Lean, kernel-checked
4,032,008	4chan + 1, Robin Houston, 2018	Lean proof
4,032,007	The 4chan bound, Anonymous 4chan poster, Robin Houston, Jay Pantone jaypantone and Vince Vatter, 2011	Paper

All bounds, with their formulas