Pieza independiente
Evidencia computacional no es prueba
Movimiento 5 · El laboratorio que se observa — septiembre de 2026
I La rama que corre
En julio de 2024 un sistema alcanzó nivel de medalla de plata en la olimpiada internacional de matemáticas. En mayo de 2025, otro combinó generación de programas con un evaluador automático y encontró algoritmos mejores que los conocidos para ciertos problemas.
La razón de esa velocidad no es la que parece: que las matemáticas sean fáciles. Es que su verificación es barata. Una demostración formal la comprueba un programa en segundos, sin pedir permiso, sin reactivos y sin esperar a que nada se divida.
Donde el verificador es barato, el bucle gira. Donde el verificador es el mundo, el bucle espera.
II Coste de comprobar una afirmación
| Dominio | Verificador | Tiempo típico |
|---|---|---|
| Teorema formalizado | un programa | segundos |
| Algoritmo con métrica | un banco de pruebas | minutos |
| Material inorgánico | síntesis y caracterización | semanas |
| Proteína diseñada | expresión y ensayo | meses |
| Terapia | ensayo clínico con personas | años |
Esa tabla explica el mapa de la aceleración mejor que cualquier comparación entre modelos. Las ramas no corren según lo listas que sean. Corren según lo que cuesta llevarles la contraria [y eso no lo decide el laboratorio].
«El activo estratégico no es el generador. Es el verificador.»
III El error de categoría
Llamar cuello de botella a la validación física suena a ingeniería y es un error. La lentitud del experimento no es un defecto del sistema. Es el único punto donde el mundo puede contradecir al modelo.
Quitarlo no acelera la ciencia: la convierte en literatura interna, coherente y vacía [con sus gráficas y todo].
IV Cómo leer un resultado asistido [seguro]
- Pregunta quién verificó, y si el verificador es independiente del generador.
- Pregunta si la verificación es formal, empírica o solo estadística.
- Pregunta cuántos intentos hubo antes del que se publica.
- Pregunta si los intentos fallidos están registrados en algún sitio.
- Si el generador y el evaluador son el mismo sistema, trátalo como una hipótesis bien escrita.
V Riesgos
Un evaluador defectuoso es peor que ninguno [produce confianza, que es lo caro]. Si la métrica premia una propiedad que no importa, el sistema optimizará esa propiedad con eficiencia extraordinaria; el resultado será impecable y estéril.
La otra trampa es de vocabulario. Una construcción encontrada por búsqueda automática, verificada por una métrica, es evidencia computacional; puede ser excelente y seguir sin ser una demostración. Mezclar las dos palabras confunde a quien decide el presupuesto.
VI Coda
La pregunta útil ante cualquier resultado de este año cabe en cinco palabras; ¿quién puede llevarle la contraria?
La respuesta ordena el mapa: si es un programa, la ciencia irá deprisa. Si es una célula, irá al ritmo de la célula, y no hay dinero que lo cambie.