“The Aletheia math research agent utilizes a novel inference-time scaling law that extends its capabilities beyond Olympiad-level problems.”