- Proved at least
- 872
- Shortest known
- 872
- Gap
- 0
The record is W-0008, found by Robin Houston on Aug 21, 2014.
Every verified word
| Word | Length | Found by | Date | Shorter than the record before | Repeats | Other windows |
|---|
| W-0008 |
872 |
Robin Houston |
Aug 21, 2014 |
1 |
0 |
147 |
| W-0005 |
873 |
Daniel A. Ashlock and Jenett Tillotson |
1993 |
— |
0 |
148 |
Bounds at n = 6
| Upper bounds |
| 873 | Egan's bound, Greg Egan, 2018 | Paper |
| 872 | W-0008, the shortest known word, Robin Houston, 2014 | Checked word |
| 0 | gap |
| Lower bounds |
| 872 | S(6) ≥ 872, Benjamin Grayzel, 2026 | Lean, native-checked |
| 870 | Kisic's bound, Marin Kisic and Jakub Halfar, 2026 | Lean, kernel-checked |
| 869 | The Hunter–Raudvere bound, Zach Hunter and Uku Raudvere, 2026 | Lean, statement reviewed |
| 869 | Liu's bound, Xiaolong Liu, 2026 | Lean, statement reviewed |
| 868 | Raudvere's bound, Uku Raudvere, 2026 | Lean, kernel-checked |
| 868 | 4chan + 1, Robin Houston, 2018 | Lean proof |
| 867 | The 4chan bound, Anonymous 4chan poster, Robin Houston, Jay Pantone  jaypantone and Vince Vatter, 2011 | Paper |
All bounds, with their formulas