Empiricism in Math and AI | Hacker News Reader