Teaching AI advanced mathematical reasoning | Hacker News Reader