IXThinker·2025-06-07 09:00

12.1萬道數學特訓題 助模型證明性能大漲

騰訊AI Lab與上海交通大學團隊推出DeepTheorem，首個基於自然語言的數學定理證明框架與數據集，收錄12.1萬道IMO級難度特訓題，讓AI學會像人類一樣以自然語言推導證明。

自然語言證明的難點

定理證明是數學前沿的重要組成部分，但大語言模型在數學推理上，特別是以強化學習訓練時，往往需要可自動驗證的答案，導致模型無法像數學家那樣以自然語言進行定理證明，限制了發展空間。