Rashi Shrivastava / Forbes: TypeSafe AI, which is developing a model that outputs numerical responses with probability estimates to help businesses assess reliability, raised a $40M seed — Former OpenAI researcher Diogo Almeida says most intelligence is going to live inside software. But to automate any real work, it has to be correct.