AI is claimed to have solved a 90-year-old Navier–Stokes math problem · Digg