Math

Problem sets and formal proof environments, from competition mathematics to Lean-verified theorem proving, where correctness is machine-checkable. Math offers the cleanest reward signal in RL, which is why it was the first domain where reasoning models showed dramatic gains.

3 companies · 2 cataloged artifacts · as of 2026-08-16

Name	Domains	Type / catalog	Location	Team	Funding	Raising
Epoch AI Nonprofit research institute behind FrontierMath and AI capability benchmarks	Math, Machine Learning	Pure-play commercial Catalog unknown	Remote	11-25	Philanthropic grants (nonprofit)	Unknown
Hillclimb Math environments emphasizing verifiable correctness	Math	Pure-play commercial Catalog unknown	San Francisco	1-10	-	Unknown
Ulam Math RL environments and RLVR trajectories	Math	Pure-play commercial Catalog unknown	Warsaw, London	1-10	-	Unknown