Ulam
Math RL environments and RLVR trajectories
Ulam, founded by math PhD and AI entrepreneur Przemek Chojecki, produces mathematics environments and reinforcement learning with verifiable rewards (RLVR) trajectory data for frontier labs.
RLVR trajectory datasets
Similar startups
Also listed under Math.
| Name | Domains | Location | Team | Funding | Raising |
|---|---|---|---|---|---|
| Rise Data Labs US-based expert human data and custom RL environments for enterprise AI | Computer Use, Coding, Finance, Cybersecurity, Legal, Data Labeling, Enterprise, Multi-Domain, RLHF, Custom Environments | United States | - | - | Yes |
| Axiom Math Self-improving AI mathematician with formally verified reasoning | Math | San Francisco | 11-25 | Series A, $200M at $1.6B valuation (2026); $264M total | - |
| Epoch AI Nonprofit research institute behind FrontierMath and AI capability benchmarks | Math, Machine Learning | Remote | 11-25 | Philanthropic grants (nonprofit) | - |
| Harmonic Mathematical superintelligence via formally verified reasoning | Math | Palo Alto | 26-50 | Series B, $100M at ~$900M valuation (Kleiner Perkins, 2025) | - |
| Hillclimb Math environments emphasizing verifiable correctness | Math | San Francisco | 1-10 | - | - |
| Math, Inc. Autoformalization agents for verified mathematics | Math | Palo Alto | 1-10 | Seed, $15M (Torch Capital, Robot Ventures, Chapter One) | - |