The Sharp Threshold for the Dyn-Farkhi Conjecture
Prior state unknown→proved
pins the sharp threshold; the conjecture itself was already known false above dimension two
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review