“The Aletheia math research agent uses intensive tool use to navigate the complexities of mathematical research.”