TypeSafe AI es una empresa de inteligencia artificial centrada en la automatización con IA y la toma de decisiones impulsada por software. La empresa fue fundada por Diogo Almeida y otros. Anteriormente, Almeida trabajó en investigaciones relacionadas con InstructGPT, RLHF y ChatGPT en OpenAI.