Parte 2 de uma reflexão que começou em A Equação Impossível Mais Simples, a equação simples o bastante pra uma criança ler que levou três séculos e meio pra ser provada. Aqui deixo a equação de lado e sigo a pergunta estranha que ela abriu na saída: o que significa, de fato, resolver alguma coisa? Uma solução pode existir sem ninguém que a conheça?

O sonho da máquina de respostas

Existe uma fantasia que vem naturalmente numa era de ferramentas poderosas. Vai assim: os problemas difíceis do mundo (as questões abertas em matemática, as doenças teimosas, as conjecturas não provadas, os quebra-cabeças da física) são difíceis só porque mentes humanas são lentas, distraídas, mortais. Constrói uma coisa incansável, aponta pra lista, e as respostas vêm. Um a um os grandes mistérios caem, não porque alguém teve um lampejo, mas porque algo enfim teve a paciência e o cavalo de força pra triturar tudo até o fim.

É uma imagem sedutora. Também é, sob inspeção próxima, silenciosamente incoerente. E a incoerência vale ser desmontada, porque conta algo surpreendente sobre o que uma solução realmente é.

O cavalo de força nunca foi a peça que faltava

Comece pela coisa que a fantasia inverte. Ela assume que o gargalo dos problemas difíceis é esforço ou velocidade. Às vezes é. Mas os problemas mais profundos raramente ficaram esperando alguém tentar mais.

Pega qualquer problema famoso que resistiu por séculos. O que abriu ele foi quase nunca persistência bruta. Foi alguém vendo algo: uma conexão entre duas áreas que ninguém tinha pensado em conectar, um reenquadramento que fez o impossível parecer subitamente abordável, uma decisão de que essa pergunta em particular, dentre o oceano infinito de perguntas, era a que valia uma década de vida. Você não tritura o seu caminho até uma ponte entre continentes distantes de pensamento. Alguém precisa primeiro suspeitar que a ponte está lá, e depois se importar o bastante pra ir procurar.

Essa é a parte que resiste à automação não porque a máquina seja fraca, mas porque o trabalho é de outra natureza. Escolher o que importa, reconhecer quando uma resposta é bonita e não só correta, saber qual das mil portas vale abrir. São atos de julgamento e gosto, não de computação. Uma ferramenta alarga muito a busca. Ela não fornece o querer que decide que a busca vale começar, nem o discernimento que reconhece quando algo importante apareceu. O ingrediente escasso nunca foi cavalo de força. Foi o importar-se, e o ver.

Então mesmo no futuro mais assistido por ferramentas que se possa imaginar, o humano não some da frente do processo. Ele bota em movimento, mira, e julga o que volta. Mas tem um segundo lugar de onde o humano se recusa a sair, e é mais estranho, e é onde o paradoxo mora.

A caixa selada

Empurra a fantasia até o extremo lógico. Imagina que a gente enfim constrói a máquina de respostas na forma mais pura. Damos a ela todo problema em aberto. Selamos por completo: sem tela, sem saída que alguém leia, sem acesso nenhum. E deixamos rodando pra sempre, resolvendo tudo.

Agora a perguntinha desinflante: resolvido pra quem?

Uma prova que ninguém nunca lê não está fazendo aquilo pra que uma prova existe. É fácil esquecer isso, porque a gente costuma imaginar uma prova como um objeto: um certificado de verdade que ou existe ou não. Mas prova nunca foi meramente uma afirmação verdadeira. O propósito dela era carregar entendimento de uma mente pra outra, convencer, mostrar por que algo tem que ser assim, deixar um leitor caminhar o mesmo caminho e chegar à mesma convicção. Uma prova correta que ninguém encontra não produziu entendimento, não convenceu ninguém, não iluminou nada. Selada numa caixa, tem exatamente a mesma posição prática que nenhuma prova.

O mesmo vale bem além da matemática. Uma cura que é descoberta e nunca aflora não cura ninguém. Um teorema de física que é derivado e nunca lido não prevê nada que alguém possa usar. Estar resolvido não é uma propriedade que a resposta segura sozinha, silenciosamente, no escuro. É algo que acontece quando a resposta encontra uma mente: quando é entendida, verificada, acreditada, dobrada de volta pra dentro do que as pessoas podem agora ver e fazer. Tira esse encontro e você não resolveu o problema. Você só arrumou alguns símbolos que o teriam resolvido, se alguém estivesse lá.

O cenário que se devora

Aqui o paradoxo fecha as mandíbulas, e fecha sobre a própria fantasia.

Suponha que você objete: tudo bem, mas nós ainda saberíamos que a máquina resolveu tudo, mesmo sem ler as provas individuais. Podíamos ao menos ter a satisfação de que lá fora problemas estavam caindo.

Mas como você saberia disso? Pra aprender que a máquina resolveu qualquer coisa, e até pra aprender que ela estava simplesmente funcionando, você precisa de acesso aos resultados dela. E no instante em que você tem esse acesso, a selagem se quebra. As duas condições que a fantasia silenciosamente exige, ou seja, que a máquina rode sem acesso humano, e que a gente saiba que problemas estão sendo resolvidos, não conseguem valer ao mesmo tempo. Cada uma destrói a outra. Saber requer um canal; canal é exatamente o que “selado” proíbe.

Então a máquina de respostas perfeita, a que não precisa de humano algum, se revela auto-refutante. Ou tem um humano do lado receptor entendendo o que sai (caso em que o humano nunca saiu, e o objetivo inteiro de removê-lo colapsa) ou não tem, caso em que nada foi resolvido de forma significativa e, pior, ninguém jamais poderia saber. Não existe uma terceira opção. O sonho do solucionador sem mente se devora.

Resolver é um evento numa mente

O que isso revela é sutil e, pra mim, genuinamente bonito. A gente está acostumado a pensar numa solução como algo que acontece lá no mundo: a resposta é encontrada, o teorema é provado, o quadrinho é marcado, e isso é verdade independente de alguém notar. Parte disso está certa: o fato ser verdadeiro não espera nossa atenção. Mas resolver não é o mesmo que o fato ser verdadeiro. Resolver é o ato pelo qual uma verdade se torna conhecida e entendida. E esse ato, necessariamente, acontece dentro de uma mente.

Por isso o humano se senta nas duas pontas do processo, não só na frente. É ele quem começa a busca importando-se de que a pergunta importe. E é ele quem completa ao entender o que foi encontrado, sendo o lugar onde a resposta enfim pousa. Remove o humano das duas pontas e você não fica com um universo transbordando de problemas resolvidos. Fica com um universo de afirmações verdadeiras não lidas. Um silêncio caro, imaculado, sem sentido.

Existe um velho experimento mental sobre uma árvore caindo numa floresta vazia, e se ela faz som. A versão aqui é mais afiada, porque não é sobre percepção, é sobre significado. Um problema resolvido sem ninguém pra entender a solução não foi, no sentido que importa, resolvido. O entendimento não é um bônus que vem depois do trabalho real. É a conclusão do trabalho real.

O que Fermat estava mesmo esperando

Aqui o fio amarra de volta onde começou. Por três séculos e meio, uma certa afirmação sobre uma certa equação simples ficou ali, verdadeira ou falsa o tempo todo, indiferente a nós. No sentido mais frio, a “resposta” existia desde sempre: a equação não tinha soluções o tempo todo, quer alguém pudesse provar isso, quer não.

Mas não é isso que a gente quer dizer quando diz que o problema foi resolvido. Foi resolvido quando uma mente humana, depois de gerações de entendimento acumulado, enfim viu a conexão que tornou a verdade compreensível. Quando o fato deixou de ser uma verdade inerte no escuro e virou um pedaço do mundo que alguém de fato entendia. Os séculos não foram gastos esperando o fato se tornar verdadeiro. Foram gastos esperando uma mente pronta pra recebê-lo.

Isso, no fim, é o que uma solução é. Não uma cadeia de símbolos que por acaso é correta. Não um certificado produzido por um processo suficientemente poderoso. Uma solução é um pedaço do mundo que enfim foi entendido, por alguém capaz de se importar que fosse. Constrói todas as ferramentas que quiser; aponta pra onde quiser. O entendimento ainda tem que acontecer em algum lugar. Ainda tem que pousar numa mente. E uma mente que entende não é um gargalo a ser engendrado pra fora. É o ponto inteiro do exercício.

Leia a Parte 1: A Equação Impossível Mais Simples.

Nota do autor: este texto ainda espera uma revisão minha. Publiquei nessa forma porque ler na tela facilita o processo de rever. Achou algo esquisito? Me avisa.