2026 es el año de los métodos formales en ML.