AI and Math State of the Art | Hacker News Reader