Si la lección anterior caló, ahora os reconcome una pregunta: si todos los métodos empatan, ¿por qué funciona algo? Las previsiones del tiempo ganan a lanzar una moneda. Los médicos ganan a adivinar al azar. El corrector ortográfico gana a aporrear teclas. ¿Cómo van a ser iguales todos los métodos si tan evidentemente no lo son?
Aquí está la solución, y es la idea más importante de todo el curso: solo empatan cuando se promedia sobre todos los problemas posibles, y tú nunca te enfrentas a todos los problemas posibles. Los problemas que de verdad aparecen en tu vida son una porción minúscula y profundamente estructurada del espacio de todo lo imaginable. Dentro de esa porción, los métodos difieren enormemente.
El supuesto oculto: «todos los problemas posibles»
Volvamos a la búsqueda del tesoro. Para que hubiera empate necesitábamos ponderar todos los escondites por igual: el premio era igual de probable en la caja 1 que en la caja 5. Pero el mundo real no es así. Si siempre se te caen las llaves cerca de la puerta, entonces «el premio está junto a la puerta» es común y «el premio está en el desván» es raro. Los escondites no son igual de probables: el problema tiene estructura.
La palabra que lo desbloquea todo: estructura
La estructura (structure) significa que los problemas a los que de verdad te enfrentas no son un saco de sorpresas aleatorio: siguen patrones. Las llaves se agrupan cerca de la puerta. Las funciones reales suelen ser suaves, no dentadas. El tiempo de mañana se parece al de hoy. El texto obedece una gramática. Esa regularidad es real, y es justo lo que aprovecha un buen método.
En cuanto los problemas tienen estructura, desaparece la ponderación uniforme que forzaba el empate, y los métodos quedan libres para diferir. Un método que supone que las llaves están cerca de la puerta aplastará a otro que suponga que están esparcidas de manera uniforme, en los problemas que de verdad ocurren. El teorema de que no hay almuerzo gratis (No Free Lunch) queda intacto (promedia sobre todo y siguen empatando), pero nadie vive en «todo».
Antes de leer — arriésgate a adivinar
Adivina: ¿por qué «mira primero cerca de la puerta» gana a buscar al azar en la vida real, aunque el teorema diga que todas las búsquedas empatan?
Los supuestos de un método son su «prior»
Todo método supone en silencio algo sobre qué problemas se va a encontrar. Ese supuesto incorporado tiene un nombre: el supuesto previo (prior) del método (es decir, su creencia previa sobre el mundo, antes de ver ningún problema concreto).
- «Mira primero cerca de la puerta» tiene el prior las llaves se agrupan cerca de la puerta.
- «Supón que el tiempo de mañana ≈ el de hoy» tiene el prior el tiempo es persistente.
- «Ajusta una recta» tiene el prior la relación es aproximadamente lineal.
- La escalada de colinas tiene el prior las buenas soluciones están cerca de otras buenas soluciones: el paisaje es suave.
Un método gana exactamente cuando su prior encaja con la estructura de los problemas reales, y pierde cuando no. De eso va todo el juego. No existe tal cosa como un método sin prior: «no supongas nada» es en sí mismo un prior (el plano, el de «todo es igual de probable»), y es precisamente el que empata con adivinar al azar.
Fija el mecanismo.
Pick the right option for each blank, then check.
Todo método carga con un supuesto incorporado —su — sobre a qué problemas se enfrentará. Rinde bien exactamente cuando ese supuesto la del problema real, y mal cuando no.
La idea equivocada, dicha sin rodeos
Aquí está la frase que debes borrar de tu vocabulario:
La lectura errónea que arruina el modelo
❌ «El teorema de que no hay almuerzo gratis demuestra que todos los métodos son igual de buenos, así que da igual cuál elijas.»
Eso es falso y es peligroso. Los métodos son tremendamente desiguales en los problemas reales y estructurados, que son los únicos que llegarás a encontrar. El teorema dice que empatan solo cuando se promedia sobre un saco uniforme de todos los problemas concebibles, una situación que nunca ocurre. Usar el teorema para encogerse de hombros —«bah, todas las herramientas son iguales»— es entenderlo justo al revés.
La lectura correcta apunta en la dirección opuesta: como ningún método es universalmente el mejor, elegir el método cuyos supuestos encajan con tu problema lo es todo. El teorema no te libra de elegir con cuidado: es la razón misma por la que elegir con cuidado importa.
Un colega dice: «El teorema de que no hay almuerzo gratis significa que todo método de previsión es igual de bueno, así que usa cualquiera». ¿Cuál es el fallo?
Dos lecturas, una al lado de la otra
Las mismas cinco palabras —«ningún método es universalmente el mejor»— sostienen una lectura sensata y otra insensata. Aprende a distinguirlas.
| Lectura insensata | Lectura sensata | |
|---|---|---|
| Conclusión | «Todos los métodos son iguales, así que no te molestes en elegir.» | «Ningún método es el mejor en todas partes, así que ajusta el método al problema.» |
| Qué ignora | Que los problemas reales tienen estructura. | Nada: se construye sobre la estructura. |
| Adónde lleva | A encogerse de hombros; a usar lo que haya a mano. | A estudiar el problema antes de elegir una herramienta. |
| Historial | Mediocre de forma constante. | Cómo opera de verdad todo experto. |
Clasifica cada afirmación en la lectura sensata o en la insensata del teorema.
Place each item in the right group.
- «Problemas distintos necesitarán herramientas distintas: tendré varias a punto.»
- «El teorema dice que esforzarse en elegir métodos es tiempo perdido.»
- «Déjame entender la estructura de este problema antes de elegir una herramienta.»
- «Como nada es el mejor, elegir con cuidado no sirve de nada.»
- «Todos los modelos son iguales, así que usaré el de siempre para todo.»
- «Este método supone suavidad; ¿mi problema es de verdad suave?»
Por qué el empate y las diferencias, siendo ambos ciertos, no se contradicen
Puede parecer paradójico: los métodos empatan y difieren muchísimo. No se contradicen porque son afirmaciones sobre conjuntos de problemas distintos.
- Sobre el promedio uniforme de todos los problemas posibles (un conjunto al que nunca te enfrentas): empate perfecto.
- Sobre los problemas estructurados que de verdad ocurren (el único conjunto al que te enfrentas): diferencias grandes y aprovechables.
Ambas cosas son ciertas a la vez, igual que «el ser humano medio tiene más o menos un testículo y un ovario» y «casi ningún ser humano concreto los tiene» son ambas ciertas: un promedio sobre toda una población puede no describir a ningún miembro real de ella. El teorema de que no hay almuerzo gratis es un promedio sobre una población de problemas que nunca vas a encontrar.
Empareja cada término con su papel en resolver la paradoja.
Pick a term, then click its definition.
Repaso
Big picture
Por qué los métodos siguen difiriendo
- No todos los métodos son iguales
- El empate necesita ponderación uniforme
- Todo problema igual de probable
- Los problemas reales tienen ESTRUCTURA
- Las llaves se agrupan, las funciones son suaves
- Nunca te enfrentas a todos los problemas
- Cada método tiene un PRIOR
- Gana cuando encaja con la estructura
- Así que: ajusta el método al problema
- De eso va todo el juego
- El empate necesita ponderación uniforme
El teorema, bien leído, no es una excusa para dejar de elegir: es la razón por la que elegir importa. A continuación veremos esta misma idea aparecer lejos de los ordenadores: en las dietas, las carteras de inversión, los estilos de dirección y los hábitos de estudio, y por qué hace que encajen el círculo de competencia y el entramado de modelos.