Question

In 1993, Pat Gilmer asserted as Theorem 1 of Classical knot and link concordance, that certain Casson-Gordon invariants vanish for all slice knots, which would be true if the kernel of the inclusion $H_1(M_K;\mathbb{Z}[t^{\pm1}])\rightarrow H_1(N_D;\mathbb{Z}[t^{\pm1}])$ were a metabolizer for the Blanchfield pairing. There, $M_K$ is the $3$--manifold obtained from zero-surgery on a knot K and $N_D$ is the complement of a slice disc in $D^4$.
The statement was believed, and many papers based statements on this theorem, which was taken for granted. It looks plausible, and the similar-looking statements of Levine or of Cochran-Orr-Teichner are certainly true. But it was shown a decade later in Stefan Friedl's 2004 thesis, Sections 8.3 and 8.4, that Gilmer's proof assumes that tensoring with $\mathbb{Q}/\mathbb{Z}$ is exact, which is false. Stefan is forced to do something unnatural and ugly to get his results, and to show that for each choice of Seifert surface, the Casson-Gordon invariants in question vanish for all but a finite number of primes (Theorem 8.6).
I believe that Gilmer's theorem is still open, which is very irritating for people studying knot concordance; because surely it MUST be true, and it is quite fundamental.