AIMO Interpretability Challenge
We propose the AIMO Interpretability Challenge, a competition on distinguishing robust from spurious reasoning in frontier mathematical language models based on the models' internal mechanisms. The challenge is motivated by a central limitation of standard reasoning benchmarks: strong final-answer accuracy does not reveal whether a model relies on stable reasoning mechanisms or exploits brittle reasoning shortcuts. Building on AI Mathematical Olympiad (AIMO) problems and submissions, together with resources from the Fields Model Initiative, the competition will provide (1) newly-published olym
Lineage graph
Paper → model → repo connections mined from source citations (Tier-1 exact match).
Why these links exist
Every edge carries a method, confidence, and the source snippet that justified it — so bad links are debuggable.
- PossiblePossibly related (embedding) · 50%Northwind AI →
- PossiblePossibly related (embedding) · 50%New benchmark exposes reasoning gaps in top models →
- FuzzyOverlapping authors or contributors · 62%mem0ai/mem0 →
“Shared author/contributor keys: spiegel”
- FuzzyOverlapping authors or contributors · 62%modular/modular →
“Shared author/contributor keys: liu”
- LinkedLinked via arxiv author · 85%Chaoran Liu →
“AIMO Interpretability Challenge”
- LinkedLinked via arxiv author · 85%Simon Frieder →
“AIMO Interpretability Challenge”
- LinkedLinked via arxiv author · 85%Barbara Plank →
“AIMO Interpretability Challenge”
- LinkedLinked via arxiv author · 85%Fazl Barez →
“AIMO Interpretability Challenge”