The Kára–Pór–Wood Big-Line-Big-Clique Conjecture: Four Collinear Points or a Six-Clique
Prior state unknown→proved
VibeMathed recorded: The Kára–Pór–Wood Big-Line-Big-Clique Conjecture: Four Collinear Points or a Six-Clique. Consult the linked registry entry for the original report and scope.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review