Thinking Machines: Mathematical Reasoning in the Age of LLMs