微軟推出 MAI-Thinking-1 推理模型,參數規模達 350 億