解法: 多項式法によるキャップ集合問題の解決(クロート=レフ=パック、エレンバーグ=ハイスヴァイト、2016年)

ステップ5の不等式 $|A| \le 3\, m_{(q-1)n/3}$ とステップ6の $q=3$ における $m_{(q-1)n/3}$ の評価 $3e^{-I(2/3)} < 2.756$ を組み合わせると、最終定理が得られる:$\mathbb{F}_3^n$ 内のすべてのキャップ集合 $A$ は $|A| \le 3 \cdot (2.756)^n$ を満たし、指数的な増加率の問いを否定的に解決する(その率は $3$ ではない)。エレンバーグとハイスヴァイトの短い論文(2017年)は、クロート、レフ、パック(2016年)が数週間前に密接に関連する群 $(\mathbb{Z}/4\mathbb{Z})^n$ に対して導入した画期的な多項式法を、任意の有限体 $\mathbb{F}_q$ へと定式化・一般化する。論文の注釈1は、2人の著者が独立かつほぼ同時にキャップ集合の議論を展開したことを記している。