The Hopkins–Morel isomorphism aka the motivic Quillen theorem

Let $F$ be a field, and let $\mathrm{SH}_F$ denote the motivic stable homotopy category over $F$. Let $\mathrm{MGL}$ be the algebraic cobordism spectrum, let $a_i$ be generators of the Lazard ring, and let $H\mathbb{Z}$ be the motivic Eilenberg–Mac Lane spectrum. Hopkins–Morel isomorphism. The map in $\mathrm{SH}_F$

$$\operatorname{colim}_n \mathrm{MGL}/(a_1,\cdots,a_n) \longrightarrow H\mathbb{Z}$$

is an equivalence. This is a central comparison statement in motivic stable homotopy theory. It has been resolved after inverting the exponential characteristic of the base field, through work of Hoyois; in characteristic zero it was proved in unpublished work of Hopkins and Morel.