Será que algum dia nos sentiremos confortáveis ​​com o fato de a IA assumir tarefas importantes?

Imagine um mapa mundial dividido pelas fronteiras nacionais. Quantas cores seriam necessárias para preencher cada país e oceano sem que nenhuma das mesmas cores se tocasse?

A resposta é quatro. Na verdade, não importa qual seja o seu mapa, quatro cores são sempre suficientes. Mas provar isso exigiu uma pausa na matemática. O teorema das quatro cores, como é conhecido, foi o primeiro grande resultado a ser comprovado em computadores. Na prova de 1976, o problema foi reduzido a milhares de posicionamentos de mapas, cada um verificado por software.

Muitos matemáticos da época levantaram-se em armas. Eles argumentaram que, se o cerne da prova estava escondido atrás de uma máquina desconhecida, como se poderia dizer que algo foi provado? Talvez devido a esta reação, as provas assistidas por computador continuam a ser uma minoria de investigadores.

Mas isso pode estar começando a mudar. A última geração de inteligência artificial está a virar este debate do avesso, como relatamos em “A IA pode estar prestes a mudar completamente a forma como fazemos matemática”. Pergunte aos seus proponentes por que deveríamos confiar na matemática com suposições e atalhos humanos falhos, quando podemos confiar nas máquinas para verificar as provas.

Naturalmente, nem todos concordam com esta proposta. E o debate acirrado sobre o uso da IA ​​na matemática é um microcosmo dos problemas maiores que a sociedade enfrenta. A questão é quando é apropriado deixar uma máquina assumir o controle. As empresas de tecnologia esperam cada vez mais que os agentes de IA eliminem o trabalho enfadonho, assumindo tarefas mundanas, desde o processamento de faturas até a reserva de férias. Mas quando os deixamos comandar o nosso dia (veja “Um lampejo de brilhantismo e contratempos: deixar os agentes de IA comandarem o nosso dia”), descobrimos que esses agentes ainda não estavam à altura da tarefa.

Abandonar o controle entregando cartões de crédito e senhas para uma IA opaca cria as mesmas preocupações que a prova de quatro cores. Agora estamos tentando encontrar seus limites enquanto exploramos um novo território, em vez de colorir o mapa. É a prova de que podemos contar com máquinas que nos esperam no horizonte ou é simplesmente uma versão digital de “Here is a Dragon”?