Donaldson's tamed-to-compatible conjecture

Formal proof listed 1 paper October 6, 2026
What the paper claims, in its own words

Proves Donaldson's tamed-to-compatible conjecture: every smooth almost complex structure on a closed four-manifold that is tamed by a symplectic form admits a compatible symplectic form. The almost complex structure stays fixed; the form's cohomology class may change.

The plain-language explainer for this entry is still coming.

The original paper