Ask HN: Can AI breakthroughs in mathematics help non-mathematicians feel better? | Hacker News Reader