Brute force versus original insight in a claimed AI solution to Navier–Stokes · Digg