Running Agents Math Conjecture Trainer 🧮 Run autonomous math model training, evaluation, and publishing