Alors que l'IA passe du cloud au monde physique (véhicules, robots, infrastructures, systèmes de défense), le coût des erreurs augmente de manière spectaculaire. Dans ces environnements, "nous l'avons testé" n'est pas suffisant. Les systèmes doivent être capables de prouver ce qu'ils ont fait, comment ils l'ont fait et selon quelles règles. C'est pourquoi nous sommes à l'avant-garde de l'IA vérifiable à grande échelle.