Comment by olmo23

navier stokes is not the only example of an open problem in maths that was solved by AI (eg the counterexample to the jacobian)