So there were mathematicians who would have solved Navier-Stokes, Quasi-Riemann, and ETH, if only AI hadn’t snatched away and finished off their work they were just wrapping up?
People will be getting second-hand embarrassment when they read these comments in the future.