What Exactly Was AI’s Breakthrough in Hard Math?

Meanwhile, some are asking if Claude’s Navier–Stokes proof really originated with a researcher and a math prof using the system.