哪个开源大模型数学解题最强