The AI developer laid out red lines on military use of its products, a source said.