AI has solved many math problems, but it has not solved math | Science

This summer has featured an amazing run of mathematical discoveries. In May, a prediction first made by Paul Erdős in 1946 about “unit distances” between points in a plane, was disproved. In July, the Jacobian conjecture, an 87-year-old open question in algebraic geometry, was refuted in dimension three. In August, the question of whether a six-dimensional sphere can be given smooth complex coordinates, first asked by Heinz Hopf in 1947, was finally confirmed to be true. Most recently, a finite-time singularity among the solutions to the famous Navier-Stokes equations—a system of equations governing the flow of fluids—was discovered after many decades (in a setting where the fluid is stirred by an external force).