Des bateaux robotiques restaurent les récifs coralliens avec une précision guidée par l'IA. L'autonomie environnementale augmente rapidement, mais la robotique écologique doit être responsable. Une inférence vérifiable garantit que les interventions sont transparentes et sûres.