AIMO

深度分析

「AIMO 可解釋性挑戰賽」聚焦穩健推理與符號擾動，檢驗大型語言模型的真實數學能力

面對大型語言模型在數學基準測試中的高分，研究人員啟動 AIMO 可解釋性挑戰賽，旨在區分真正的邏輯推理與偽造的捷徑。該賽事透過提供奧運級數學問題及其符號表示，要求參賽者分析模型內部機制以辨識穩健推理。初步測試顯示，即使是前沿模型在面對簡單的符號擾動時，正確率也會大幅下降。這將推動 AI 可解釋性研究，確保高風險推理系統的可靠性與泛化能力。