- Proved at least
- 153
- Shortest known
- 153
- Gap
- 0
The record is W-0004, found by Daniel A. Ashlock and Jenett Tillotson in 1993.
Every verified word
| Word | Length | Found by | Date | Shorter than the record before | Repeats | Other windows |
|---|
| W-0007tie |
153 |
Ben Chaffin |
Aug 13, 2014 |
ties W-0004 |
0 |
29 |
| W-0004 |
153 |
Daniel A. Ashlock and Jenett Tillotson |
1993 |
— |
0 |
29 |
Bounds at n = 5
| Upper bounds |
| 154 | Egan's bound, Greg Egan, 2018 | Paper |
| 153 | W-0004, the shortest known word, Daniel A. Ashlock and Jenett Tillotson, 1993 | Checked word |
| 0 | gap |
| Lower bounds |
| 153 | Raudvere's bound, Uku Raudvere, 2026 | Lean, kernel-checked |
| 153 | Kisic's bound, Marin Kisic and Jakub Halfar, 2026 | Lean, kernel-checked |
| 153 | The Hunter–Raudvere bound, Zach Hunter and Uku Raudvere, 2026 | Lean, statement reviewed |
| 153 | Liu's bound, Xiaolong Liu, 2026 | Lean, statement reviewed |
| 153 | Exhaustive search, Ben Chaffin, 2014 | Computer check |
| 153 | 4chan + 1, Robin Houston, 2018 | Lean proof |
| 152 | The 4chan bound, Anonymous 4chan poster, Robin Houston, Jay Pantone  jaypantone and Vince Vatter, 2011 | Paper |
All bounds, with their formulas