White's Conjecture on Matroids
Prior state unknown→disproved
White conjectured that the symmetric exchange binomials generate the toric ideal of a matroid. This is now known to be false; a rank $9$ binary matroid constitutes a counterexample.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review