Você já recebeu um e-mail e suspeitou que ele foi escrito por IA, e não criado por uma mão amorosa? 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 anunciaram uma prova do teorema das quatro cores, que afirma que são necessárias no máximo quatro cores para colorir qualquer mapa, de modo que não haja duas regiões adjacentes correspondentes. A simplicidade deste teorema significava que os matemáticos esperavam provas elegantes que revelassem verdades matemáticas mais amplas. Em vez disso, eles obtiveram 60 mil linhas de código de computador impenetrável. Appel e Haken resolveram esse problema programando uma máquina para pesquisar sistematicamente cerca de 2.000 tipos de mapas, representando todas as configurações possíveis.
Naquela época parecia menos satisfatório. Mas ao longo das décadas, os matemáticos começaram a aceitar o uso do código desta forma e resolveram muitas objeções filosóficas. Isto significa que quando a atual onda de IA chegar, a matemática estará pronta.
Como relatamos aqui, a IA está melhorando tão rapidamente que é surpreendente para muitos matemáticos. Embora Appel e Haken tenham escrito o código sozinhos, agora temos um grande modelo de linguagem que faz o trabalho, enquanto outro software pode verificar sua exatidão (e, portanto, a prova). Isso significa que não há problema com alucinações – onde a IA apenas inventa coisas – porque já existem sistemas para filtrar o que é bom e o que é ruim.
“ A IA está melhorando tão rapidamente que surpreende muitos matemáticos “
Fora da matemática, as coisas não são tão fáceis. A imprensa tecnológica está inundada com exemplos de erros de codificação de IA, de vários graus de desastre. Entretanto, a empresa de investigação americana Gartner estimou recentemente que metade das empresas que substituem empregos por IA irão recontratar pessoas para desempenharem as mesmas funções este ano.
O mundo certamente não é matemático, mas os matemáticos mostraram que a IA tem um lugar se pudermos estar praticamente confiantes e filosoficamente confortáveis com os seus resultados. Pode demorar um pouco para que todos se atualizem.
