As everyone is aware, plenty of exciting results have been proved by AI lately: mostly counterexamples (unit distance problem, Connes' rigidity conjecture, Navier-Stokes, Jacobian conjecture, non-...