Anthropic
Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses....
