Witten's conjecture relating Donaldson and Seiberg–Witten invariants

Let $X$ be a smooth, closed, oriented 4-manifold with $b_1(X)=0$ and odd $b_2^+(X)>1$. Let $X$ have Seiberg–Witten simple type, and let $K_1,\dots,K_s$ be the Donaldson basic classes of $X$, with corresponding nonzero Donaldson coefficients $\beta_1,\dots,\beta_s$. A class $K$ is a Seiberg–Witten basic class when $SW_X(K)\ne 0$.

Witten's conjecture. Then $X$ has simple type; the basic classes of $X$ are precisely the Seiberg–Witten basic classes of $X$; and there is a nonzero constant $c(X)$ depending only on $X$ such that

$$\beta_r=c(X)\cdot SW_X(K_r)$$

for all $r=1,\dots,s$. This conjecture proposes a precise relationship between Donaldson and Seiberg–Witten invariants. The source introduces it after recalling the Donaldson structure theorem; no resolution status is supplied in the provided text.