Los barcos robóticos están restaurando los arrecifes de coral con precisión guiada por IA. La autonomía ambiental está aumentando rápidamente, pero la robótica ecológica debe ser responsable. La inferencia verificable asegura que las intervenciones sean transparentes y seguras.