e/Milnor conjecture

Information
has gloss	eng: In mathematics, the Milnor conjecture was a proposal by John Milnor of a description of the Milnor K-theory (mod 2) of a general field F with characteristic different from 2, by means of the Galois (or equivalently étale) cohomology of F with coefficients in Z/2Z. It was proved around 1996 by Vladimir Voevodsky, having been open for some two decades.
lexicalization	eng: Milnor conjecture
instance of	(noun) a hypothesis that has been formed by speculating or conjecturing (usually with little hard evidence); "speculations about the outcome of the election"; "he dismissed it as mere conjecture" conjecture, speculation