math-olympiad

Listed in Official

Solve competition math (IMO, Putnam, USAMO) with adversarial verification that catches what self-verification misses. Fresh-context verifiers attack proofs with specific failure patterns. Calibrated abstention over bluffing.

Categories

  • math

Made by

Anthropicas stated by the source listing

Where this came from

Read on:
15 August 2026