Parte 1 de uma reflexão em duas partes. Aqui conto a história do Último Teorema de Fermat, a equação simples o bastante pra uma criança ler que levou três séculos e meio pra ser provada, e termino abrindo uma pergunta mais estranha sobre o que significa “resolver” alguma coisa. A Parte 2, O Paradoxo da Testemunha, segue essa pergunta até onde ela levar.

Uma equação que uma criança consegue ler

Escreva aⁿ + bⁿ = cⁿ. Uma criança de dez anos consegue ler. Tem três letras, um expoente, um sinal de mais e um sinal de igual. Nada de notação escondida, nada de símbolo exótico, nada de vocabulário especializado. E ainda assim essa pequena cadeia de caracteres gerou um mistério que sobreviveu a impérios, derrotou as maiores mentes de cada geração por mais de trezentos anos, e só foi enterrado na última década do século XX.

Essa distância entre o quão fácil é perguntar e o quão brutalmente difícil foi responder é a razão inteira de a equação ser famosa. É um dos exemplos mais puros de todo o pensamento humano de um problema que parece que vai tomar uma tarde e toma uma era.

Primeiro, a parte que funciona

Antes da impossibilidade, existe uma versão que se comporta lindamente.

Quando o expoente é 2, a equação vira a² + b² = c², o teorema de Pitágoras, a relação entre os lados de um triângulo retângulo. Aqui as soluções estão em toda parte. A famosa é 3, 4, 5: nove mais dezesseis dá vinte e cinco. Depois 5, 12, 13. Depois 8, 15, 17. São infinitas, e os matemáticos sabem como fabricá-las sob demanda há mais de dois mil anos. Escolha dois números inteiros positivos quaisquer, chame de m e k com m maior que k, e calcule:

  • um lado como m² − k²
  • outro como 2mk
  • o maior como m² + k²

Coloque m = 2 e k = 1 e sai 3, 4, 5. Coloque m = 3 e k = 2 e sai 5, 12, 13. A máquina nunca seca. Para n = 2, a equação não é só solúvel. Ela é generosa.

A pergunta natural, a que qualquer pessoa curiosa faria em seguida, é: e cubos? E a³ + b³ = c³? E potências quartas, quintas, superiores? Se os quadrados nos dão infinitos triângulos de números inteiros, com certeza os cubos nos dão alguma coisa.

Não dão nada. E esse nada é a história inteira.

A margem que começou tudo

Por volta de 1637, um advogado francês e matemático amador chamado Pierre de Fermat estava lendo uma cópia de um antigo texto grego de aritmética. Ao lado da seção que tratava dos ternos pitagóricos, rabiscou uma nota na margem. Afirmou que para qualquer expoente maior que 2 a equação não tem solução alguma em números inteiros positivos, e adicionou a frase mais tentadora da história da matemática: descobrira uma prova verdadeiramente maravilhosa disso, que a margem era estreita demais pra conter.

Depois morreu sem nunca tê-la escrito.

A gente não sabe se Fermat realmente tinha uma prova. A maioria dos matemáticos hoje duvida bastante. As ferramentas que finalmente racharam o problema não existiam no século dele e não existiriam por mais trezentos anos, então se ele tivesse uma prova geral genuína, teria que ser algo completamente diferente de qualquer coisa que se descobriu desde então, e ninguém nunca a reconstruiu. A explicação mais provável é que Fermat tinha uma prova pra um caso específico pequeno, se convenceu que a mesma ideia generalizaria, e estava simplesmente enganado. Era um matemático brilhante que ocasionalmente errava, como todo mundo.

Mas a nota sobreviveu, publicada depois da morte dele pelo filho, e virou um desafio que assombraria a disciplina.

Três séculos de cerco

Aqui está a coisa estranha sobre a afirmação: é fácil testá-la e impossível terminá-la.

Qualquer um consegue verificar que não existem cubos pequenos que funcionem. Você pode checar milhares de casos, milhões, e hoje bilhões com um computador, e nunca encontra um contra-exemplo. Mas checar casos, por mais que sejam, não prova nada sobre o oceano infinito de casos que você não checou. A matemática não aceita “olhamos muito e não encontramos”. Ela exige uma prova que cubra todos os números de uma vez, pra sempre. É o muro em que cada geração se chocou.

Os maiores nomes da matemática lascaram pedaços disso. O caso dos cubos foi resolvido no século XVIII. Potências quartas o próprio Fermat tratou com um método que ele efetivamente deixou registrado. Um a um, expoentes individuais caíram: uma prova pra n = 5, uma prova pra n = 7, famílias inteiras de expoentes despachadas por argumentos engenhosos no século XIX. Houve até uma crise matemática quando uma prova celebrada acabou dependendo de uma suposição falsa escondida sobre como os números se fatoram, um erro tão instrutivo que consertá-lo criou ramos inteiramente novos da matemática.

Mas cada uma dessas vitórias era parcial. Provar o teorema para o expoente 5, ou 7, ou mil expoentes específicos, ainda deixa infinitos expoentes intocados. Depois de trezentos anos de esforço dos maiores da história, a afirmação geral permanecia exatamente onde Fermat a deixara: uma asserção que ninguém conseguia provar.

Virou, em certo sentido, o problema aberto mais famoso da matemática. Não porque fosse importante pra alguma aplicação, mas porque era tão simples de enunciar e tão humilhantemente resistente a ser terminado.

O caminho improvável para a resposta

A resolução, quando finalmente chegou, veio de uma direção completamente inesperada. Não veio de alguém manipulando a equação com esperteza. Veio de uma conjectura profunda e inicialmente sem relação sobre dois tipos muito diferentes de objetos matemáticos, curvas definidas por equações cúbicas de um lado, e funções ricamente simétricas do outro, que uma sugestão de meados do século XX propôs estarem secretamente, profundamente conectados.

Nos anos 1980, alguém notou a bomba: se a equação de Fermat tivesse uma solução, essa solução poderia ser usada pra construir uma dessas curvas com propriedades impossíveis, uma curva tão estranha que não poderia obedecer à conexão profunda que a conjectura previa. Em outras palavras, se essa grande conjectura sem relação fosse verdadeira, então o Último Teorema de Fermat também tinha que ser verdadeiro. O enigma de séculos tinha sido silenciosamente aparafusado a uma das questões centrais da matemática moderna.

Andrew Wiles, um matemático que fora cativado pelo problema aos dez anos lendo sobre ele num livro da biblioteca, viu sua abertura. Trabalhou em segredo quase total por sete anos, algo quase inaudito num campo colaborativo, contando a quase ninguém o que estava realmente fazendo. Em 1993 anunciou uma prova a uma plateia atônita. Depois, durante o processo de revisão, uma lacuna sutil apareceu no argumento, e por mais de um ano parecia que o sonho tinha colapsado na linha de chegada. Trabalhando com um ex-aluno, Richard Taylor, Wiles finalmente reparou a lacuna com uma combinação engenhosa de abordagens, e em 1994 a prova estava completa e correta.

Trezentos e cinquenta e sete anos depois de um advogado ter rabiscado na margem, o teorema virou teorema de verdade.

Então alguém “resolveu”?

É aqui que a linguagem precisa de cuidado, porque duas coisas muito diferentes são chamadas de “resolver”, e confundi-las é o erro mais comum que as pessoas cometem sobre esse problema.

Ninguém jamais resolveu a equação no sentido de encontrar números que a satisfaçam para uma potência de 3 ou maior, porque tais números não existem. Não há nada a encontrar. Isso nunca foi o objetivo e nunca foi possível.

Mas o teorema, a afirmação de que tais números não existem, foi absolutamente resolvido, no sentido de ter sido provado, por Wiles em 1994. Por três séculos e meio a coisa honesta a dizer era “ninguém conseguiu provar isso ainda”. Depois de 1994, essa frase virou falsa. O problema está fechado. É um dos grandes resultados assentados da matemática.

Então a frase poética “a equação que ninguém conseguia resolver” é uma história sobre o passado. Hoje a afirmação correta é que a humanidade levou um tempo estupendo, e matemática de profundidade estonteante, pra provar algo cuja pergunta uma criança conseguia entender.

Por que ainda fascina

A curiosidade duradoura de aⁿ + bⁿ = cⁿ não é ser difícil. Muita coisa é difícil. É o descompasso específico, quase cruel, entre a superfície e o interior.

Na superfície é aritmética, o tipo de coisa que vive numa sala de aula do fundamental, um pequeno passo além do teorema de Pitágoras que todo mundo já conhece. Por baixo, o único caminho conhecido para a verdade dela atravessa algumas das maquinarias mais abstratas e exigentes já construídas por matemáticos, ideias que levaram gerações pra serem inventadas por razões inteiramente diferentes.

Existe também o drama humano que nenhuma outra equação consegue igualar: a nota marginal enlouquecedora e sua “prova maravilhosa” perdida, o desfile de gênios que se jogaram nela e venceram apenas fragmentos, a crise de uma prova falsa que acidentalmente pariu matemática nova, e finalmente um menino que se apaixonou pelo problema, desapareceu por sete anos, tropeçou no último momento, e se levantou de novo.

E há uma lição mais silenciosa por baixo de tudo isso. A prova de que não existem soluções não veio de olhar mais fixamente pra equação. Veio de descobrir que essa perguntinha humilde estava secretamente amarrada a regiões vastas e distantes da matemática que ninguém tinha conectado a ela antes. A resposta estava escondida não dentro do problema, mas nas relações entre problemas. É frequentemente assim que as questões mais profundas se resolvem, não pela força, mas pela revelação de uma ligação que ninguém esperava.

A equação é simples. A impossibilidade que ela descreve é absoluta. E o caminho pra provar essa impossibilidade é uma das jornadas mais bonitas que a mente humana já fez. Por isso, muito depois de ter deixado de ser um mistério, continua sendo uma das grandes histórias.

Um paradoxo de fechamento: até problemas resolvidos precisam de uma testemunha

É tentador, numa era de máquinas poderosas, imaginar que problemas difíceis agora vão simplesmente cair, que poderíamos apontar uma inteligência artificial incansável pra toda questão aberta e esperar as respostas jorrarem. E em certa medida ferramentas de fato aceleram a descoberta. Mas a história de Fermat silenciosamente adverte contra acreditar que a ferramenta é o todo.

Considere o que a virada realmente exigiu. Não computação bruta, porque nenhuma quantidade de verificação de casos jamais teria terminado o trabalho, e todo mundo sabia. O que se exigia era um humano decidindo que o problema importava o bastante pra gastar uma vida com ele, reconhecendo uma ponte inesperada entre campos distantes, e tendo o gosto de saber qual das mil direções possíveis valia a pena caminhar. A disposição e a criatividade eram os ingredientes escassos. A maquinaria, por mais impressionante, não fornece o querer.

E aqui aparece um paradoxo genuíno. Suponha que você tentasse remover o humano inteiramente: você põe um sistema rodando pra sempre pra resolver todo problema do mundo, selado, sem acesso humano algum. Faça a pergunta simples: resolvido pra quem? Uma prova que ninguém nunca lê não está desempenhando a função que uma prova existe pra desempenhar. A matemática nunca foi meramente a produção de afirmações verdadeiras. Era o ato de entender, de convencer, de dobrar um resultado de volta pra dentro do que as pessoas podem agora ver e construir sobre. Uma resposta correta dentro de uma caixa selada que ninguém abre tem a mesma posição prática que resposta nenhuma.

A armadilha se aperta quando você percebe como você iria saber que a máquina tinha tido sucesso. Pra saber que ela resolveu qualquer coisa, você precisa de acesso aos resultados dela, e no instante em que você tem esse acesso, a premissa da caixa selada está quebrada. As duas condições, saber que problemas estão sendo resolvidos e nenhum humano jamais tendo acesso, não podem valer as duas. O cenário silenciosamente se devora.

Isso revela algo fácil de perder de vista: resolver não é apenas um evento no mundo. É também um evento que precisa acontecer dentro de uma mente. A resposta tem que pousar em algum lugar, ser entendida por alguém, mudar o que alguém pode agora fazer. O humano não é apenas quem começa a busca. É também quem completa ao entender o que foi encontrado. Remove o humano das duas pontas e você não fica com um universo transbordando de problemas resolvidos. Fica com um silêncio muito caro.

O teorema de Fermat levou três séculos e meio precisamente porque estava esperando uma mente pronta pra entendê-lo. Isso, no fim, é o que uma solução é: não uma cadeia de símbolos que por acaso é verdadeira, mas um pedaço do mundo que finalmente foi entendido por alguém capaz de se importar que fosse.

Continua em: Parte 2, O Paradoxo da Testemunha.

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.