The Millennium Prize Problems are seven legendary open questions in mathematics announced by the Clay Mathematics Institute (CMI) in year 2000, each carrying a US $1 million reward for the first correct solution. Grigori Perelman’s 2003 proof of the Poincaré Conjecture settled one of them, leaving six unsolved challenges:

A single AI system producing a formally accepted proof for any one of these six problems would represent a historic milestone for both mathematics and artificial-intelligence research.