La prueba del triángulo isósceles
Uno de los resultados más notables de la investigación temprana en razonamiento de máquinas: un programa de demostración de teoremas geométricos produjo una prueba del teorema del triángulo isósceles que sus diseñadores no habían anticipado, & que la mayoría de los matemáticos no conocían.
La prueba clásica requiere construir una línea auxiliar: dibuja la bisectriz del ángulo desde el ápex, usa congruencia SAS en los dos sub-triángulos. La prueba funciona pero requiere una construcción externa que el problema original no menciona.
La prueba del programa no usó ninguna construcción auxiliar. Comparó el triángulo ABC con el triángulo CBA — el mismo triángulo, leído hacia atrás. La correspondencia A↔A, B↔C, C↔B convierte el triángulo original en sí mismo con sus vértices base intercambiados. Ambos lados son iguales por hipótesis. Por congruencia SSS, el triángulo ABC es congruente al triángulo CBA, lo que significa que el ángulo B es igual al ángulo C.
La prueba aparece como una nota al pie en algunas ediciones de Euclides, pero no era ampliamente conocida. Los programadores que construyeron el sistema no la conocían. El programa la encontró al seguir una estrategia programada: intenta la prueba directa primero; si te atascas, intenta dibujar líneas auxiliares.
¿Mostró el programa creatividad?
Hamming hace la pregunta directa: ¿constituye esto creatividad de máquina? Su respuesta: parcialmente, & la calificación importa.
Los programadores escribieron instrucciones para intentar probar teoremas directamente, & cuando se atascaran intentar construcciones auxiliares. El programa siguió esas instrucciones. La prueba novedosa emergió de aplicar esas instrucciones a un problema donde la prueba directa funcionó elegantemente.
La observación de Hamming: es precisamente cómo funciona la creatividad en los humanos. Tu entrenamiento en geometría cargó un programa en ti. Las instrucciones decían: intenta la prueba directa; si te atascas, dibuja líneas auxiliares. Aprendiste esas instrucciones menos limpiamente que una máquina — olvidas, las aplicas mal, & necesitas repetición sin fin. Pero la estructura es la misma.
La paradoja que Hamming nombra: una vez que existe un programa para hacer algo, los observadores automáticamente reclasifican el comportamiento como rutinario. La existencia del programa destruye la impresión de inteligencia. Una máquina nunca puede demostrar, a una audiencia escéptica, que es más que una máquina — porque cualquier demostración se reclasifica como 'solo programación.'
Max Mathews & música de computadora
Hamming cambia de la geometría a la música, y la transición es deliberada: quiere mostrar que el razonamiento de máquina se extiende más allá de los dominios obviamente analíticos.
Max Mathews & John Pierce en Bell Labs computaron música sintetizando formas de onda digitalmente. El sistema requería elegir una tasa de muestreo: según el teorema de Nyquist, para reproducir sonido hasta frecuencia f, necesitas una tasa de muestreo de al menos 2f. La audición humana se extiende a aproximadamente 18,000 Hz; la voz de calidad telefónica necesita 8,000 Hz, requiriendo una tasa de muestreo de al menos 16,000 Hz.
Con la tasa de muestreo fija, el sistema podría computar cualquier secuencia de amplitudes representando cualquier forma de onda posible, pasar los valores a través de un convertidor digital-a-analógico & filtro de suavización, & reproducir el resultado. Los tonos puros son simples ondas sinusoidales. Los instrumentos combinan múltiples frecuencias con envolventes de ataque & decaimiento característicos. La composición se convirtió en un asunto de especificar secuencias de notas & modelos de instrumentos.
Luego preguntaron: ¿por qué suministrar las notas manualmente? Existen reglas de composición. Usaron esas reglas más generación de números aleatorios para producir música compuesta por computadora.
Resultado: la música compuesta por computadora, tocada por computadora, ya estaba apareciendo en comerciales de radio & televisión a mediados de los años 70. La 'grabación de la más alta calidad' para 1994 era digital. La observación de Hamming: ahora es un asunto de qué sonidos vale la pena producir, no qué sonidos son técnicamente posibles. La frontera técnica se ha cerrado; la frontera estética permanece abierta.
La frontera técnica cerrada
Hamming hace un reclamo agudo: con audio digital, no puede haber futuras mejoras técnicas significativas en la reproducción de sonido. El medio ha logrado completitud teórica. Las mejoras restantes están en estética, no en ingeniería.
Observa que los sistemas de música de computadora también cambiaron el papel del compositor: la reproducción en tiempo real reemplazó las esperas de años-largos para la presentación en vivo. Un compositor ahora puede desarrollar el estilo más rápido porque el ciclo de retroalimentación es órdenes de magnitud más corto.
Trabajos rutinarios & la pregunta de capacidad
Hamming no se retrae de la pregunta de desplazamiento. Las computadoras desplazan trabajadores de empleos rutinarios. Lo dice claramente: 'los robots desplazarán a muchos humanos haciendo trabajos rutinarios. En un sentido muy real, las máquinas pueden hacer mejor los trabajos rutinarios, liberando así a los humanos para trabajos más humanos.'
El calificativo incómodo: 'desafortunadamente, muchos humanos en el presente no están equipados para competir con máquinas — son incapaces de hacer mucho más que trabajos rutinarios.'
Expresa duda de que la mayoría de las personas puedan ser reentrenadas de trabajo rutinario a no rutinario. Esta no es una posición popular. Reconoce la creencia generalizada (esperanza, dice) de que el entrenamiento adecuado permitirá a los trabajadores desplazados competir. Públicamente lo duda, luego continúa.
La propiedad distintiva
Lo que separa el trabajo no rutinario del rutinario, en el marco de Hamming: la capacidad de analizar una situación cuidadosamente & especificar en detalle qué debe hacerse a continuación. Esto es exactamente lo que hace un programa — & lo que las máquinas pueden hacer cada vez más. La pregunta es si el conjunto de situaciones que requieren especificación humana se está reduciendo o creciendo.
La pregunta de capacidad
La carrera de Hamming en Bell Labs le dio observación directa: a lo largo de décadas, el trabajo desplazado de la atención humana por computadoras consistentemente se sesgó hacia lo rutinario, & el nuevo trabajo que apareció se sesgó hacia lo no rutinario. El valor humano restante yacía en el juicio, síntesis, & la elección de qué problemas perseguir — no en ejecución.
Plantea pero no resuelve: ¿es este patrón permanente, o la automatización eventualmente consume lo no rutinario también?
Colaboración humano-máquina
El marco preferido de Hamming para el razonamiento de máquina no es competencia sino colaboración. Está interesado en lo que humano & máquina pueden hacer juntos que ninguno puede hacer solo.
Ejemplos que vio en Bell Labs: el sistema de simplificación de álgebra que guió a los algebraistas humanos a través de largas manipulaciones simbólicas mientras dejaba las decisiones de juicio al humano; el sistema de música de computadora que extendió el alcance creativo del compositor mientras dejaba las opciones estéticas al compositor; el sistema de soporte de diagnóstico médico que emparejó el reconocimiento de patrones de máquina con el juicio contextual humano.
Su predicción: el trabajo más valioso de las décadas venideras se sienta en la interfaz — no humanos reemplazados por máquinas, & no máquinas restringidas por humanos, sino la combinación que excede a ambos.
El programa de síntesis química es un ejemplo claro: enumeró posibles rutas de síntesis, computó costos & rendimientos, & presentó opciones. El químico eligió. Ninguno solo haría tan bien: el programa no puede reconocer cuál síntesis es elegante o cuál subproducto importa para uso posterior; el químico no puede enumerar 10,000 rutas a mano.