Navier–Stokes, AI and the future of research in mathematics [pdf] | Hacker News Reader