解法：希尔–霍普金斯–拉维内尔利用等变稳定同伦论给出的证明(2009年)

William Browder 1969 年的突破性工作 “The Kervaire invariant of a framed manifold” 把微分拓扑的一个几何问题转化为稳定同伦论中一个纯代数的生存问题。古典 Kervaire 不变量由 Michel Kervaire 于 1960 年提出（用以构造第一个无光滑结构的拓扑流形），它通过在 $(4k+2)$ 维带架流形的中维同调上评估二次精细化而赋予一个 $\mathbb{Z}/2$ 元素；该问题询问在哪些维度 $n$ 上存在 Kervaire 不变量为 $1$ 的带架流形。

Browder 证明了两个结构性事实。第一，当 $n$ 不具有 $2^{j+1}-2$ 形式时，该不变量恒等于零：在任何其他维度，中维同调类上的手术皆可毫无障碍地施行，消去所有非零二次值，最终留下带架球面。第二，在其余的维度 $n = 2^{j+1}-2$ 中，存在 Kervaire 不变量为 $1$ 的流形等价于古典 Adams 谱序列中某个特定代数类的生存：模 $2$ Steenrod 代数 $\mathcal{A}$ 上的元素 $h_j^2 \in \operatorname{Ext}_{\mathcal{A}}^{2,2^{j+1}}(\mathbb{F}_2, \mathbb{F}_2)$ 必须是永久循环，在所有微分 $d_r$（$r \ge 2$）下存活，从而代表一个非平凡元 $\theta_j \in \pi_{2^{j+1}-2}^S$。

Browder 的归约因而把问题局限于稀疏的维度列表 $n \in \{2, 6, 14, 30, 62, 126, 254, \ldots\}$，并把挑战从构造奇异光滑流形转向计算 Adams 谱序列中的微分——为第二步的低维构造以及 Hill、Hopkins、Ravenel 的不存在性定理搭建了舞台。