Consider the following question: If $K\subset S^{3}$ is a nontrivial knot. Let $Y$ be the manifold obtained by doing $1/n$-surgery ($n\geq1$). Is it possible that the instanton Floer homology of $Y$ vanishes?

The answer seems to be no. Because by Gordon-Luecke's theorem, $Y$ is not $S^{3}$. While as far as I know, people don't have any example of an integer homology 3-sphere other than $S^{3}$ having vanishing instanton Floer homology.

My question is: is there actually a rigorous proof of this problem? (for example, using instanton suture Floer homology?)