Claimed Navier–Stokes solution fuels optimism about AI-driven discovery · Digg