Delgrange gana el Blue Sky al fusionar verificación formal con world models
Tres investigaciones convergen: los world models dejan de juzgarse por realismo visual y empiezan a medirse en éxito de tarea cerrada, verificación formal y escalado con datos de interacción. Para LatAm, baja la barrera de cómputo pero sube la exigencia de expertise en evaluación.