Atiyah–Jones conjecture

In mathematics, the Atiyah–Jones conjecture is a conjecture about the homology of the moduli space of instantons over a sphere. It was introduced by Michael Francis Atiyah and J. D. S. Jones (1978) and proved by Charles P. Boyer, J. C. Hurtubise, and B. M. Mann et al. (1992, 1993).

...
Wikipedia