DeepSeek上新推Math-V2!以「自驗證」推理破局在IMO 2025奪金 普特南數學競賽接近滿分2025/11/28DeepSeek Math-V2GPT-5數學競賽自驗證IMOPutnam開源AI模型