마이크로소프트, 350억 파라미터 보유 추론 모델 'MAI-Thinking-1' 출시