TypeSafe AI là một công ty trí tuệ nhân tạo tập trung vào tự động hóa bằng AI và ra quyết định dựa trên phần mềm. Công ty được thành lập bởi Diogo Almeida và những người khác. Trước đây, Almeida từng tham gia các nghiên cứu liên quan đến InstructGPT, RLHF và ChatGPT tại OpenAI.