The difference between (2b) and (3b) is the presence or absence of the possibility operator.
(2) commits the speaker only to the possibility of somebody other than Taro also having come, whereas (3) to its truth.