Frontier reasoning data, built like research. Rabdos generates exceptionally challenging mathematical problems at scale for training and evaluating frontier AI models.