Nos sentiremos confortáveis ​​quando a IA realizar tarefas importantes?

Imagine um mapa do mundo, dividido por fronteiras nacionais. Quantas cores você precisa para preencher cada país, mais o mar, sem que nenhuma das mesmas cores se toque?

A resposta é quatro – claro, não importa a aparência do seu mapa, quatro cores sempre serão suficientes. Mas para provar isso é necessária uma divisão na matemática. O teorema das quatro cores, como é conhecido, foi o primeiro grande resultado a ser comprovado em um computador. A prova de 1976 reduziu o problema a alguns milhares de conjuntos de mapas, cada um dos quais foi então verificado com software.

Muitos matemáticos da época levantaram as mãos. Como pode algo ser chamado de provado, dizem eles, se a essência da prova está escondida atrás de uma máquina incognoscível? Talvez devido a esta resistência, a prova assistida por computador continue a ser um esforço minoritário.

Mas isso pode estar começando a mudar. Como relatamos em “A IA pode mudar completamente a forma como fazemos matemática”, a última geração de inteligência artificial vira este argumento de cabeça para baixo. Por que razão, perguntam os seus proponentes, deveríamos confiar na matemática humana falha, com os seus pressupostos e atalhos, quando podemos deixar a verificação de uma prova para as máquinas?

É claro que nem todos concordam com esta sugestão. E os argumentos emergentes sobre a utilização da IA ​​na matemática são um microcosmo da grande questão que a sociedade enfrenta: quando é o momento certo para deixar as máquinas assumirem o controlo? As empresas de tecnologia prometem cada vez mais que os agentes de IA eliminarão o trabalho penoso ao realizar tarefas diárias, desde o processamento de faturas até a reserva de férias. No entanto, quando tentamos deixá-los controlar os nossos dias (ver “’Flashes de brilho e frustração’: deixo os agentes de IA gerirem o meu dia”), descobrimos que estes agentes ainda não são totalmente capazes de fazer o seu trabalho.

Renunciar ao controle entregando seu cartão de crédito ou senha a uma IA opaca cria a mesma sensação de desconforto que ocorre com a prova em quatro cores. Só que agora não estamos mais colorindo o mapa, mas tentando encontrar seus limites enquanto exploramos novos territórios. Será a prova de que podemos contar com máquinas que nos aguardam no futuro, ou será apenas uma versão digital de “aqui há dragões”?