| Upper bounds |
| 408,966 | Egan's bound, Greg Egan, 2018 | Paper |
| 408,965 | Egan's bound minus one, Uku Raudvere, 2026 | Lean, kernel-checked |
| 408,846 | The 101/120 bound, Jay Pantone jaypantone, 2026 | Lean, kernel-checked |
| 408,731 | W-0038, the shortest known word, rumstd, 2026 | Checked word |
| 262 | gap |
| Lower bounds |
| 408,469 | S(9) ≥ 408,469, Jakub Halfar, 2026 | Lean, kernel-checked |
| 408,469 | Pantone's bound, Jay Pantone jaypantone, 2026 | Lean, statement reviewed |
| 408,465 | Halfar's general bound, Jakub Halfar, 2026 | Lean, statement reviewed |
| 408,433 | Kisic's bound, Marin Kisic and Jakub Halfar, 2026 | Lean, kernel-checked |
| 408,418 | Liu's bound, Xiaolong Liu, 2026 | Lean, statement reviewed |
| 408,338 | The Hunter–Raudvere bound, Zach Hunter and Uku Raudvere, 2026 | Lean, statement reviewed |
| 408,289 | Raudvere's bound, Uku Raudvere, 2026 | Lean, kernel-checked |
| 408,247 | 4chan + 1, Robin Houston, 2018 | Lean proof |
| 408,246 | The 4chan bound, Anonymous 4chan poster, Robin Houston, Jay Pantone jaypantone and Vince Vatter, 2011 | Paper |