TypeSafe AI è un'azienda di intelligenza artificiale focalizzata sull'automazione dell'IA e su processi decisionali guidati dal software. L'azienda è stata fondata da Diogo Almeida e altri. In precedenza, Almeida ha lavorato a ricerche relative a InstructGPT, RLHF e ChatGPT presso OpenAI.