For initial datum of finite kinetic energy Leray has proven in 1934 that there exists at least one global in time finite energy weak solution of the 3D Navier-Stokes equations. In this talk, I will discuss very recent joint work with Vlad Vicol in which we prove that weak solutions of the 3D Navier-Stokes equations are not unique in the class of weak solutions with finite kinetic energy.