Skip to content

Prove the P104 disjoint A2 packing maximum is 33 (no κ) - #6219

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w1-1029c-frontier-step
Oct 30, 2026
Merged

Prove the P104 disjoint A2 packing maximum is 33 (no κ)#6219
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w1-1029c-frontier-step

feat(research): prove the P104 A2 packing maximum is 33

f9f096b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 29, 2026 in 4m 24s