A stunned reaction to a claimed AI proof of Navier–Stokes · Digg