- Proved at least
- 43,917,903
- Shortest known
- 43,930,548
- Gap
- 12,645
The record is W-0079, found by Jay Pantone 
The bounds over time
Every verified word
| Word | Length | Found by | Date | Shorter than the record before | Repeats | Other windows |
|---|---|---|---|---|---|---|
| W-0079 | 43,930,548 | Jay Pantone jaypantone |
Oct 28, 2026 | 30 | 19,768 | 3,993,970 |
| W-0063 | 43,930,578 | Jakub Halfar | Oct 6, 2026 | 36 | 19,784 | 3,993,984 |
| W-0052 | 43,930,614 | Jakub Halfar | Oct 5, 2026 | 9 | 18,816 | 3,994,988 |
| W-0048 | 43,930,623 | Jakub Halfar | Oct 4, 2026 | 1 | 18,815 | 3,994,998 |
| W-0047 | 43,930,624 | Theo H. | Oct 4, 2026 | 4 | 18,816 | 3,994,998 |
| W-0045 | 43,930,628 | Jakub Halfar | Oct 4, 2026 | 16 | 18,814 | 3,995,004 |
| W-0044 | 43,930,644 | Jakub Halfar | Oct 3, 2026 | 5 | 18,816 | 3,995,018 |
| W-0042 | 43,930,649 | Jakub Halfar | Oct 3, 2026 | 19 | 18,816 | 3,995,023 |
| W-0041 | 43,930,668 | rumstd | Oct 3, 2026 | 10 | 18,815 | 3,995,043 |
| W-0039 | 43,930,678 | Theo H. | Oct 2, 2026 | 2 | 18,816 | 3,995,052 |
| W-0034 | 43,930,680 | Jay Pantone jaypantone |
Oct 1, 2026 | 9 | 18,816 | 3,995,054 |
| W-0025 | 43,930,689 | Jay Pantone jaypantone |
Sep 29, 2026 | 18,118 | 18,816 | 3,995,063 |
| W-0018 | 43,948,807 | Uku Raudvere | Jul 27, 2026 | — | 0 | 4,031,997 |
Bounds at n = 11
| Upper bounds | ||
| 43,948,808 | Egan's bound, Greg Egan, 2018 | Paper |
| 43,948,807 | Egan's bound minus one, Uku Raudvere, 2026 | Lean, kernel-checked |
| 43,942,416 | The 101/120 bound, Jay Pantone jaypantone, 2026 | Lean, kernel-checked |
| 43,932,672 | The 3/5 bound, Jay Pantone jaypantone, 2026 | Lean, kernel-checked |
| 43,930,548 | W-0079, the shortest known word, Jay Pantone jaypantone, 2026 | Checked word |
| 12,645 | gap | |
| Lower bounds | ||
| 43,917,903 | S(11) ≥ 43,917,903, Jakub Halfar, 2026 | Lean, kernel-checked |
| 43,917,903 | Pantone's bound, Jay Pantone jaypantone, 2026 | Lean, statement reviewed |
| 43,917,793 | Halfar's general bound, Jakub Halfar, 2026 | Lean, statement reviewed |
| 43,916,736 | Kisic's bound, Marin Kisic and Jakub Halfar, 2026 | Lean, kernel-checked |
| 43,916,235 | Liu's bound, Xiaolong Liu, 2026 | Lean, statement reviewed |
| 43,912,566 | The Hunter–Raudvere bound, Zach Hunter and Uku Raudvere, 2026 | Lean, statement reviewed |
| 43,910,408 | Raudvere's bound, Uku Raudvere, 2026 | Lean, kernel-checked |
| 43,908,489 | 4chan + 1, Robin Houston, 2018 | Lean proof |
| 43,908,488 | The 4chan bound, Anonymous 4chan poster, Robin Houston, Jay Pantone jaypantone and Vince Vatter, 2011 | Paper |