微软人工智能负责人：MAI-THINKING-1 是微软人工智能旗下首个推理大模型。