The simple type conjecture for mod 2 Seiberg–Witten invariants

Let $X$ be a closed, connected, oriented, smooth $4$-manifold with $b_2^+(X)>1$. Simple type conjecture. $X$ has Seiberg–Witten simple type. This conjecture asserts a fundamental constraint on Seiberg–Witten invariants; the paper proves it under a simple condition on the cohomology ring, while the general case remains unresolved.