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