Barcos robóticos estão restaurando recifes de coral com precisão guiada por IA. A autonomia ambiental está crescendo rapidamente, mas a robótica ecológica deve ser responsabilizada. Inferências verificáveis garantem que as intervenções sejam transparentes e seguras.