arXiv · AI· Michal \v{S}tef\'anik, Philipp Mondorf, Andreas Waldis, Michal Spiegel, Robert Belanec, Chuan Yang, Maria Matveev, Jan Mazak, Qianying Liu, Markus Schepers, Josef Kucha\v{r}, Marek Kadl\v{c}\'ik, Adam Vawda-Oomerjee, Chaoran Liu, Simon Frieder, Barbara Plank, Fazl Barez, Pontus Stenetorp·· 6 小时前AI 评分28
AIMO可解释性挑战：NeurIPS 2026竞赛提出
AIMO Interpretability Challenge
AI 导读
NeurIPS 2026竞赛提出AIMO可解释性挑战，旨在区分前沿数学大语言模型中的稳健推理与虚假捷径。 该竞赛基于AI数学奥林匹克（AIMO）问题和Fields Model Initiative资源，提供新发布的奥林匹克级数学推理问题及其符号表示。 参赛者将利用前沿推理模型接入与对抗鲁棒性评估，结合计算基础设施支持，开发识别模型稳健解题能力的方法。
来源：arXiv · AI · arxiv.org