A Prova do Triângulo Isósceles
Um dos resultados mais notáveis da pesquisa inicial em raciocínio de máquina: um programa de prova de teoremas de geometria produziu uma prova do teorema do triângulo isósceles que seus designers não haviam antecipado, & que a maioria dos matemáticos não conhecia.
A prova clássica requer a construção de uma linha auxiliar: desenhe a bissetriz do ângulo a partir do vértice, use congruência SAS nos dois sub-triângulos. A prova funciona mas requer uma construção externa que o problema original não menciona.
A prova do programa não usou nenhuma construção auxiliar. Comparou o triângulo ABC com o triângulo CBA — o mesmo triângulo, lido de trás para frente. A correspondência A↔A, B↔C, C↔B transforma o triângulo original em si mesmo com seus vértices da base trocados. Ambos os lados são iguais por hipótese. Por congruência SSS, o triângulo ABC é congruente ao triângulo CBA, significando que o ângulo B é igual ao ângulo C.
A prova aparece como uma nota de rodapé em algumas edições de Euclides, mas não era amplamente conhecida. Os programadores que construíram o sistema não a conheciam. O programa a encontrou seguindo uma estratégia programada: tente prova direta primeiro; se ficar preso, tente desenhar linhas auxiliares.
O Programa Demonstrou Criatividade?
Hamming faz a pergunta direta: isso constitui criatividade de máquina? Sua resposta: parcialmente, & a qualificação importa.
Os programadores escreveram instruções para tentar provar teoremas diretamente, & quando preso, tente construções auxiliares. O programa seguiu essas instruções. A prova novel emergiu da aplicação dessas instruções a um problema onde a prova direta aconteceu de funcionar elegantemente.
Observação de Hamming: é exatamente assim que a criatividade funciona em humanos. Seu treinamento em geometria carregou um programa em você. As instruções diziam: tente prova direta; se ficar preso, desenhe linhas auxiliares. Você aprendeu essas instruções menos claramente do que uma máquina faz — você esquece, aplica incorretamente, & precisa de repetição infinita. Mas a estrutura é a mesma.
O paradoxo que Hamming nomeia: uma vez que um programa existe para fazer algo, observadores automaticamente reclassificam o comportamento como rotineiro. A existência do programa destrói a impressão de inteligência. Uma máquina nunca pode demonstrar, para uma audiência cética, que é mais do que uma máquina — porque qualquer demonstração é reclassificada como 'apenas programação'.
Max Mathews & Música de Computador
Hamming muda de geometria para música, & a transição é deliberada: ele quer mostrar que o raciocínio de máquina se estende além de domínios obviamente analíticos.
Max Mathews & John Pierce em Bell Labs computaram música sintetizando formas de onda digitalmente. O sistema exigia a escolha de uma taxa de amostragem: de acordo com o teorema de Nyquist, para reproduzir som até a frequência f, você precisa de uma taxa de amostragem de pelo menos 2f. A audição humana se estende a aproximadamente 18.000 Hz; a voz com qualidade de telefone precisa de 8.000 Hz, exigindo uma taxa de amostragem de pelo menos 16.000 Hz.
Com a taxa de amostragem fixada, o sistema podia computar qualquer sequência de amplitudes representando qualquer forma de onda possível, passar os valores por um conversor digital-analógico & filtro de suavização, & tocar o resultado. Tons puros são ondas senoidais simples. Instrumentos combinam múltiplas frequências com envelopes de ataque & declínio característicos. A composição se tornou uma questão de especificar sequências de notas & modelos de instrumentos.
Eles então perguntaram: por que fornecer as notas manualmente? Regras de composição existem. Eles usaram essas regras mais geração de números aleatórios para produzir música composta por computador.
Resultado: música composta por computador, tocada por computador, já estava aparecendo em comerciais de rádio & TV no meio dos anos 1970. A 'gravação de mais alta qualidade' em 1994 era digital. Observação de Hamming: agora é uma questão de quais sons valem a pena produzir, não quais sons são tecnicamente possíveis. A fronteira técnica se fechou; a fronteira estética permanece aberta.
A Fronteira Técnica Fechada
Hamming faz uma afirmação afiada: com áudio digital, não pode haver futuras melhorias técnicas significativas na reprodução de som. O meio alcançou completude teórica. As melhorias restantes estão em estética, não engenharia.
Ele observa que sistemas de música de computador também mudaram o papel do compositor: reprodução em tempo real substituiu esperas de anos por performance ao vivo. Um compositor agora pode desenvolver estilo mais rápido porque o ciclo de feedback é ordens de magnitude mais curto.
Trabalhos Rotineiros & a Questão da Capacidade
Hamming não se intimida com a questão de deslocamento. Computadores deslocam trabalhadores de trabalhos rotineiros. Ele afirma isso claramente: 'robôs deslocarão muitos humanos fazendo trabalhos rotineiros. Em um sentido muito real, máquinas conseguem fazer melhor trabalhos rotineiros, assim libertando humanos para trabalhos mais humanos.'
O qualificador desconfortável: 'infelizmente, muitos humanos no presente não estão equipados para competir com máquinas — eles são incapazes de fazer muito mais do que trabalhos rotineiros.'
Ele expressa dúvida de que a maioria das pessoas possa ser retreinada de trabalho rotineiro para não-rotineiro. Essa não é uma posição popular. Ele reconhece a crença generalizada (esperança, ele diz) que o treinamento adequado deixará os trabalhadores deslocados competirem. Ele publicamente duvida disso, então continua.
A Propriedade Distinguidora
O que separa trabalho não-rotineiro de rotineiro, no enquadramento de Hamming: a capacidade de analisar uma situação cuidadosamente & especificar em detalhe o que deve ser feito a seguir. Isso é exatamente o que um programa faz — & o que máquinas podem fazer cada vez mais. A questão é se o conjunto de situações que requerem especificação humana está encolhendo ou crescendo.
A Questão da Capacidade
A carreira de Hamming em Bell Labs lhe deu observação direta: ao longo de décadas, o trabalho deslocado da atenção humana por computadores consistentemente tendenciava para o rotineiro, & o novo trabalho que aparecia tendenciava para o não-rotineiro. O valor humano restante estava em julgamento, síntese, & a escolha de quais problemas perseguir — não em execução.
Ele levanta mas não resolve: esse padrão é permanente, ou a automação eventualmente consome o não-rotineiro também?
Colaboração Humano-Máquina
O enquadramento preferido de Hamming para raciocínio de máquina não é competição mas colaboração. Ele está interessado em o que humano & máquina podem fazer juntos que nenhum dos dois pode fazer sozinho.
Exemplos que viu em Bell Labs: o sistema de simplificação de álgebra que guiou algebristas humanos através de longas manipulações de símbolos enquanto deixava as chamadas de julgamento para o humano; o sistema de música de computador que estendeu o alcance criativo do compositor enquanto deixava as escolhas estéticas para o compositor; o sistema de suporte a diagnóstico médico que combinou reconhecimento de padrão de máquina com julgamento contextual humano.
Sua previsão: o trabalho mais valioso das próximas décadas senta na interface — não humanos substituídos por máquinas, & não máquinas constritas por humanos, mas a combinação que excede ambos.
O programa de síntese química é um exemplo claro: ele enumerou possíveis rotas de síntese, computou custos & rendimentos, & apresentou opções. O químico escolheu. Nenhum dos dois sozinho faria tão bem: o programa não pode reconhecer qual síntese é elegante ou qual subproduto importa para uso a jusante; o químico não pode enumerar 10.000 rotas à mão.