(Q4815878)

theorem about the homology of the moduli space of instantons over a sphere, conjectured by M. F. Atiyah and J. D. S. Jones (1978), proved by C. P. Boyer, J. C. Hurtubise, and B. M. Mann et al. (1998, 1999)