Improved Bound for Colorings Without Symmetrically Colored k-APs
Prior state unknown→proved
Improves the exponent rather than answering the asked question: whether an colouring exists remains open.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review