Il 2026 è l'anno dei metodi formali nell'ML.