Thinking Machines: Mathematical Reasoning in the Age of LLMs | Hacker News Reader