Birch and Swinnerton-Dyer conjecture

Scientific American puts Birch and Swinnerton-Dyer first in line to fall to AI

With Navier-Stokes claimed and five Millennium problems left, the ordering of what falls next turns on which conjectures a single counterexample would settle. Five million dollars of Clay prize money is still unclaimed.