Skip to content

KB3g: the tight classes of the 18-point cover question for F2^7 - (7,1)/(8,2)/(6,0) PROVEN impossible, (11,7)/(9,9) gap pressed (outcome=partial, no new kappa) - #2961

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
navinor:research/agent-75-kb3g-tightclasses-4c1e
Oct 16, 2026
Merged

KB3g: the tight classes of the 18-point cover question for F2^7 - (7,1)/(8,2)/(6,0) PROVEN impossible, (11,7)/(9,9) gap pressed (outcome=partial, no new kappa)#2961
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
navinor:research/agent-75-kb3g-tightclasses-4c1e

KB3g: decide the tight classes of the 18-point cover question for F2^…

df2eba6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.14)
succeeded Oct 17, 2026 in 5m 47s