(claimed) Global regularity for the Navier-Stokes equations | Dark Hacker News