Você já recebeu um e-mail e suspeitou que ele foi escrito por uma IA, em vez de cuidadosamente feito à mão? Os matemáticos têm lutado com sentimentos semelhantes há meio século e têm algumas lições para todos nós.
Tudo começou em 1976, quando Kenneth Appel e Wolfgang Haken publicaram uma prova do teorema das quatro cores. Este teorema afirma que são necessários até quatro tons para colorir um mapa de modo que não haja duas áreas adjacentes correspondentes. A simplicidade do teorema significava que os matemáticos esperavam provas elegantes que revelassem verdades matemáticas mais amplas. Em troca, eles receberam 60 mil linhas de código de computador impenetrável. Appel e Haken resolveram esse problema programando a máquina para processar sistematicamente quase 2.000 mapas diferentes representando todas as configurações possíveis.
Naquela época, senti que faltava alguma coisa. Mas ao longo das décadas, os matemáticos concordaram em usar o código desta forma, resolvendo muitas objeções filosóficas. Isto significa que quando a atual onda de IA chegou, a matemática estava pronta.
Como relatamos aqui, a IA está avançando rapidamente e surpreendendo muitos matemáticos. Appel e Haken escreveram o código à mão, mas agora um grande modelo de linguagem assumiu o controle e outro software pode verificar se o código (e, portanto, a prova) está correto. Isto significa que não há problema com alucinações simplesmente inventadas pela IA, uma vez que já existe um sistema para separar o que é bom do que é mau.
“ A IA está avançando rapidamente e surpreendendo muitos matemáticos “
Fora da matemática, as coisas não são tão simples. A imprensa tecnológica está repleta de histórias de falhas de codificação de IA, com vários graus de desastre. Entretanto, a empresa de investigação norte-americana Gartner previu recentemente que metade das empresas que substituíram empregos por IA irão recontratar pessoas para as mesmas funções até ao final do ano.
É claro que o mundo não é matemática, mas os matemáticos demonstraram que a IA pode desempenhar um papel se conseguirmos ganhar confiança prática e satisfação filosófica nos seus resultados. Pode levar algum tempo para que outros o alcancem.
