Catalysis of the reaction: 5-amino-1-(5-phospho-D-ribosyl)imidazole + ATP + bicarbonate = 5-carboxyamino-1-(5-phospho-D-ribosyl)imidazole + ADP + 3 H+ + phosphate.
N5-carboxyaminoimidazole ribonucleotide synthetase activity