Jiří Klimeš
writing
about
now
Writing
/
j k · ↵
2026-07-20
Trained to depth three. It solves depth nine.
LightSearch learns what each instruction does to a state, and leaves composition to search. Trained to depth three, it solves depth nine exhaustively.