“Aletheia is a math research agent that iteratively generates, verifies, and revises solutions end-to-end in natural language.”