Quillen's vanishing André–Quillen homology conjecture for local rings

Let $R$ be a Noetherian commutative local ring with residue field $\Bbb{F}$, and write

$$D_s(\Bbb{F}|R)=D_s(\Bbb{F}|R;\Bbb{F}),\qquad s\geq 0.$$

Quillen's conjecture. The following are equivalent: $D_s(\Bbb{F}|R)=0$ for $s\gg 0$; $D_s(\Bbb{F}|R)=0$ for $s\geq 3$; and $R$ is a complete intersection. This conjecture characterizes local complete intersections by the vanishing of André–Quillen homology and was proven by Avramov, including in greater generality.