AIMO Interpretability Challenge.

arXiv:2607.13899v2 Announce Type: replace Abstract: 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