Solves competition math problems from IMO, Putnam, USAMO, and AIME.
/math-olympiadby Anthropic
/math-olympiad