International Mathematical Olympiad
Benchmark ● Covered in 2 stories + Follow
This profile is built automatically from TLDRocket coverage.
Latest developments
September 2026
OpenAI announced an AI-generated, formally verified result for the Navier–Stokes Millennium Prize Problem using an internal multi-agent system Research publication
August 2026
Relationships
Products & technology
- Meta deploys this benchmark · 1 source