Atalanta is a mathematical AI company whose vision is to bring provably correct decision-making to the world's most important missions.