A inteligência artificial pode ampliar a produtividade em tarefas que seguem regras claras, mas seu uso se torna mais arriscado quando a decisão depende de contexto, conhecimento implícito e julgamento humano. Essa diferença aparece tanto na matemática quanto na programação.
A Anthropic anunciou que uma inteligência artificial produziu a formulação computacional da demonstração do teorema de Fermat em 11 dias. O resultado foi testado pelo sistema LEAN. A prova havia sido apresentada por Andrew Wiles em 1995, depois de sete anos de trabalho e em quase 130 páginas.
O problema havia sido enunciado por Fermat em 1637, como uma extensão do teorema de Pitágoras. A afirmação estabelece que a relação é possível para o expoente 2, mas não para expoentes maiores que 2 em números inteiros. Fermat registrou ter encontrado uma demonstração que não caberia na margem, mas a solução só foi obtida mais de 350 anos depois.
A capacidade de lidar com problemas lógicos, porém, não elimina as limitações da tecnologia em situações menos formalizadas. A CACM, Comunicações da Associação de Computação, chamou atenção para o fato de que sistemas de IA conseguem gerar milhões de linhas de código rapidamente, enquanto a verificação da correção e dos riscos desse software continua exigindo trabalho humano.
Entre programadores, uma situação conhecida resume o problema: “esse programa está certo, mas não atende ao que foi pedido pelo usuário”. A ferramenta pode cumprir a lógica de uma tarefa sem compreender todas as intenções, restrições e nuances envolvidas na demanda.
O exemplo do HAL9000, de 2001, Uma Odisseia no Espaço, ilustra esse descompasso. A máquina seguia logicamente seu objetivo, mas os meios usados para cumpri-lo não estavam formalmente definidos.
A inteligência artificial tende a oferecer mais vantagem quanto mais uma questão puder ser convertida em regras precisas. Isso vale para cálculos e pode alcançar áreas como a descoberta de novas drogas e proteínas. Já em decisões cujo contexto não cabe inteiramente em uma formulação lógica, a análise humana continua necessária.
Aristóteles chamou de “frônesis” a prudência associada a esse tipo de julgamento. A distinção entre o que pode ser formalizado e o que depende de interpretação ajuda a equilibrar o potencial da IA com os riscos de aceitar suas respostas ou decisões sem avaliação.
