-
2026-10-06 01:11
David Renshaw
commented on length 44668 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
Found during a 30-minute integer prefix-sum constraint search using exact neighborhood repairs and bounded stochastic exploration. Independently verified all 498,807,556 adjacent equal-length block pairs. Length 44,668; alphabet 0 through 10.
-
2026-10-06 01:11
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
— length 44668 (was 40030)
-
2026-10-06 00:39
David Renshaw
commented on length 200000 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}
Found by integer prefix-sum constraint search using exact neighborhood repairs and bounded stochastic exploration. Independently verified all 10,000,000,000 adjacent equal-length block pairs. Length 200,000; alphabet 0 through 14.
-
2026-10-06 00:39
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}
— length 200000 (was 172643)
-
2026-10-06 00:35
David Renshaw
commented on length 183609 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13}
Found during a 30-minute integer prefix-sum constraint search using exact neighborhood repairs and bounded stochastic exploration. Independently verified all 8,428,066,220 adjacent equal-length block pairs. Length 183,609; alphabet 0 through 13.
-
2026-10-06 00:35
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13}
— length 183609 (was 100000)
-
2026-10-06 00:03
David Renshaw
commented on length 200000 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21}
Derived from the verified 200,000-symbol word on 0 through 15 (word 501) using small sum-preserving changes to adjacent symbols. Independently checked all 10,000,000,000 adjacent equal-length block pairs. Length 200,000; alphabet 0 through 21.
-
2026-10-06 00:03
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21}
— length 200000 (was 100000)
-
2026-10-06 00:03
David Renshaw
commented on length 200000 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20}
Derived from the verified 200,000-symbol word on 0 through 15 (word 501) using small sum-preserving changes to adjacent symbols. Independently checked all 10,000,000,000 adjacent equal-length block pairs. Length 200,000; alphabet 0 through 20.
-
2026-10-06 00:03
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20}
— length 200000 (was 100000)
-
2026-10-06 00:03
David Renshaw
commented on length 200000 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19}
Derived from the verified 200,000-symbol word on 0 through 15 (word 501) using small sum-preserving changes to adjacent symbols. Independently checked all 10,000,000,000 adjacent equal-length block pairs. Length 200,000; alphabet 0 through 19.
-
2026-10-06 00:03
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19}
— length 200000 (was 100000)
-
2026-10-06 00:03
David Renshaw
commented on length 200000 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18}
Derived from the verified 200,000-symbol word on 0 through 15 (word 501) using small sum-preserving changes to adjacent symbols. Independently checked all 10,000,000,000 adjacent equal-length block pairs. Length 200,000; alphabet 0 through 18.
-
2026-10-06 00:03
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18}
— length 200000 (was 100000)
-
2026-10-06 00:03
David Renshaw
commented on length 200000 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17}
Derived from the verified 200,000-symbol word on 0 through 15 (word 501) using small sum-preserving changes to adjacent symbols. Independently checked all 10,000,000,000 adjacent equal-length block pairs. Length 200,000; alphabet 0 through 17.
-
2026-10-06 00:03
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17}
— length 200000 (was 100000)
-
2026-10-06 00:03
David Renshaw
commented on length 200000 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}
Derived from the verified 200,000-symbol word on 0 through 15 (word 501) using small sum-preserving changes to adjacent symbols. Independently checked all 10,000,000,000 adjacent equal-length block pairs. Length 200,000; alphabet 0 through 16.
-
2026-10-06 00:03
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}
— length 200000 (was 100000)
-
2026-10-05 23:58
David Renshaw
commented on length 200000 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}
Found by extending a verified shorter word, exact prefix-sum neighborhood repairs, and a bounded walk with breakout weighting. Independently verified all 10,000,000,000 adjacent equal-length block pairs. Length 200,000; alphabet 0 through 15.
-
2026-10-05 23:58
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15}
— length 200000 (was 100000)
-
2026-10-05 23:07
David Renshaw
commented on length 172643 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}
Found by integer prefix-sum constraint search using exact neighborhood repairs and bounded stochastic exploration. Independently verified all 7,451,401,362 adjacent equal-length block pairs. Length 172,643; alphabet 0 through 14.
-
2026-10-05 23:07
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14}
— length 172643 (was 100000)
-
2026-10-05 16:50
David Renshaw
commented on length 120500 over {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}
Start from word 489 (100,000 letters on {0,...,12}). Repeatedly paste a 1,000-2,500-letter segment onto one end and repair the whole word as a fixed-length CSP over prefix sums (vector_update_repair: breakout weighting, focused parameters 1000/2000/0/1000000/20), 10 seeds per rou…
-
2026-10-05 16:50
David Renshaw
extended
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12}
— length 120500 (was 100000)
-
2026-10-05 15:48
David Renshaw
commented on length 6309 over {0, 1, 2, 15, 18, 19}
Found by beam search over prefixes scored by randomized DFS rollouts (from scratch, 3 min), then iterated cut-and-re-extend local search on both ends (~6 min, 10 cores).
-
2026-10-05 15:48
David Renshaw
extended
{0, 1, 2, 15, 18, 19}
— length 6309 (was 244)
-
2026-10-05 14:48
David Renshaw
commented on length 5040 over {0, 1, 2, 9, 17, 18}
Found by beam search over prefixes scored by randomized DFS rollouts (from scratch, 4 min), then two rounds of iterated cut-and-re-extend local search on both ends (~14 min, 10 cores).
-
2026-10-05 14:48
David Renshaw
extended
{0, 1, 2, 9, 17, 18}
— length 5040 (was 192)
-
2026-10-05 14:28
David Renshaw
commented on length 6796 over {0, 1, 2, 11, 17, 19}
Found by beam search over prefixes scored by randomized DFS rollouts (from scratch, ~2 min), then iterated cut-and-re-extend local search on both ends (~7 min, 10 cores).
-
2026-10-05 14:28
David Renshaw
extended
{0, 1, 2, 11, 17, 19}
— length 6796 (was 224)