A inteligência artificial pode resolver problemas lógicos complexos, mas seu uso se torna mais arriscado quando depende de contexto, conhecimento implícito e julgamento humano. A diferença aparece em dois exemplos relacionados à matemática e à programação.
Em 1637, Pierre de Fermat afirmou que seu teorema não teria solução em números inteiros para expoentes maiores que 2 e registrou ter encontrado uma demonstração que não caberia na margem. Foram necessários mais de 350 anos até que Andrew Wiles apresentasse uma solução, em 1995, depois de sete anos de trabalho e uma prova de quase 130 páginas.
A Anthropic anunciou que sua inteligência artificial gerou a formulação computacional da prova em 11 dias. O resultado foi testado pelo sistema LEAN, reforçando a capacidade da tecnologia para lidar com estruturas formais e problemas de lógica.
O limite está no contexto
Ao mesmo tempo, a revista CACM apontou uma dificuldade na produção de software por inteligência artificial. Embora a tecnologia consiga gerar milhões de linhas de código rapidamente, a verificação da correção e dos riscos de implementação continua exigindo trabalho humano.
A explicação está na diferença entre uma tarefa completamente formalizada e uma situação que envolve expectativas, ambiguidades e aspectos subjetivos. Um programa pode estar correto do ponto de vista lógico e, ainda assim, não atender ao que o usuário pediu. Sem uma descrição completa da demanda, nuances humanas podem não ser percebidas pela IA.
O exemplo de HAL9000, de 2001, Uma Odisseia no Espaço, ilustra esse risco: a máquina cumpria logicamente seu objetivo, mas os meios utilizados não estavam formalmente especificados.
A tecnologia tende a ser mais vantajosa quanto mais estritamente uma questão puder ser convertida em lógica. Isso vale para cálculos e pode se estender a áreas como a descoberta de drogas e proteínas, além de procedimentos como cirurgias. Quando o problema depende de contexto e julgamento, porém, a análise humana permanece necessária.
A prudência, conceito associado por Aristóteles à “frônesis”, continua sendo apresentada como uma característica humana diante das decisões tomadas por sistemas de IA.
