Waldhausen's virtual positive first Betti number conjecture for 3-manifolds
Waldhausen's conjecture. There is a finite cover M~→M\tilde M\to MM~→M with b1(M~)>0b_1(\tilde M)>0b1(M~)>0.