A Torsion-Free Group Algebra with Zero Divisors

We disprove Kaplansky's zero-divisor conjecture by constructing a finitely presented torsion-free group G for which ${\mathbb{F}}_2[G]$ has nonzero zero divisors. The group admits a finite two-dimensional classifying space.