TypeSafe AI est une entreprise d'intelligence artificielle axée sur l'automatisation de l'IA et la prise de décision pilotée par des logiciels. L'entreprise a été fondée par Diogo Almeida et d'autres. Almeida a auparavant travaillé sur des recherches liées à InstructGPT, au RLHF et à ChatGPT chez OpenAI.