ミルナー予想

F を標数が 2 でない体とすると、すべての n ≥ 0 に対し、同型

${\displaystyle K_{n}^{M}(F)/2\cong H_{{\acute {e}}t}^{n}(F,\mathbb {Z} /2\mathbb {Z} )}$

が成り立つ。ここに K はミルナー環（英語版）(Milnor ring)を表す。

この定理のウラジーミル・ヴォエヴォドスキー(Vladimir Voevodsky)による証明は、ヴォエヴォドスキー自身、アレクサンドル・メルクリエフ（英語版）(Alexander Merkurjev)、アンドレイ・サスリン（英語版）(Andrei Suslin)、マーカス・ロスト（英語版）(Markus Rost)、ファビアン・モレル（英語版）(Fabien Morel)、エリック・フリーランダー（英語版）(Eric Friedlander)、他の多くのアイデアを使っている。アイデアは、モチーヴィックコホモロジー(motivic cohomology)（代数多様体の特異コホモロジー論の代用物のようなもの）とモチーヴィックスティンロッド代数（英語版）との新しい融合理論を含んでいる。