Project CyPhAI, funded by ANR (France) and JST (Japan), aims at formal design methods for safe AI-intensive Cyber-Physical Systems (AI-CPS). In this 5-and -a-half-year project, we study how to model, test, verify, monitor, and control a cyber-physical systems in which AI plays a crucial role