Skip to content

Research: lower bounds for small complex units: m = 2 never saves, m = 3 needs 14W/5 calls (Lean, engine game), m = 4 needs 41W/13, and the smallest open cases (no new κ) - #4628

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
jacobalansussman:research/complex-small-m-lower-bounds
Oct 23, 2026
Merged

Research: lower bounds for small complex units: m = 2 never saves, m = 3 needs 14W/5 calls (Lean, engine game), m = 4 needs 41W/13, and the smallest open cases (no new κ)#4628
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
jacobalansussman:research/complex-small-m-lower-bounds

Merge branch 'main' into research/complex-small-m-lower-bounds

480cb89
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 34s