math-olympiad
Claude Code · first-party · Anthropic
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.
- First seen
- 2026-04-10
- Last updated
- 2026-04-10
Metadata
{
"category": "math",
"author_email": "support@anthropic.com"
}