Four new companies have agreed to let the U.S. military use their AI tech for classified work.