I'm pretty sure the pink-haired girl is Kanoe Fuyu from Biomega, due to the (relatively) distinctive hair parting over her left eye; tagging as such for now.
Yeah, I had to go back and look at the manga. Luckily there aren't too many characters, and the other AI companion had short hair so I can't see who else it could be.