- Proved at least
- 5,898
- Shortest known
- 5,905
- Gap
- 7
The record is W-0021, found by Andrei Teodorescu on Aug 17, 2026.
Every verified word
| Word | Length | Found by | Date | Shorter than the record before | Repeats | Other windows |
|---|
| W-0021 |
5,905 |
Andrei Teodorescu |
Aug 17, 2026 |
1 |
0 |
859 |
| W-0014 |
5,906 |
Robin Houston and Greg Egan |
Mar 2, 2019 |
1 |
0 |
860 |
| W-0013 |
5,907 |
Bogdan Coanda |
Feb 1, 2019 |
1 |
0 |
861 |
| W-0010 |
5,908 |
Greg Egan |
Oct 19, 2018 |
4 |
0 |
862 |
| W-0009 |
5,912 |
Robin Houston |
Aug 22, 2014 |
1 |
0 |
866 |
| W-0006 |
5,913 |
Daniel A. Ashlock and Jenett Tillotson |
1993 |
— |
0 |
867 |
Bounds at n = 7
| Upper bounds |
| 5,908 | Egan's bound, Greg Egan, 2018 | Paper |
| 5,905 | W-0021, the shortest known word, Andrei Teodorescu, 2026 | Checked word |
| 7 | gap |
| Lower bounds |
| 5,898 | S(7) ≥ 5,898, Justin Lebar, 2026 | Lean, native-checked |
| 5,895 | Halfar's general bound, Jakub Halfar, 2026 | Lean, statement reviewed |
| 5,893 | Kisic's bound, Marin Kisic and Jakub Halfar, 2026 | Lean, kernel-checked |
| 5,892 | Liu's bound, Xiaolong Liu, 2026 | Lean, statement reviewed |
| 5,888 | The Hunter–Raudvere bound, Zach Hunter and Uku Raudvere, 2026 | Lean, statement reviewed |
| 5,886 | Raudvere's bound, Uku Raudvere, 2026 | Lean, kernel-checked |
| 5,885 | 4chan + 1, Robin Houston, 2018 | Lean proof |
| 5,884 | The 4chan bound, Anonymous 4chan poster, Robin Houston, Jay Pantone  jaypantone and Vince Vatter, 2011 | Paper |
All bounds, with their formulas