Os modelos de IA já provaram que conseguem resolver problemas matemáticos que permaneciam sem solução há décadas. Mas o que acontece se nenhum matemático humano realmente entender como eles chegaram à solução? Essa é a possibilidade levantada por Terence Tao durante uma conferência recente realizada na Filadélfia. Segundo ele, "estamos muito, muito perto de que um importante resultado matemático seja demonstrado e verificado sem que nenhum ser humano consiga compreendê-lo e explicá-lo".
Há três anos, falávamos que a IA representava o fim da lição de casa, mas também de como ela falhava em operações aritméticas elementares. As coisas, é claro, mudaram rapidamente. Depois de superar seus adversários nas Olimpíadas de Matemática, os modelos passaram a resolver problemas extremamente complexos que mantinham matemáticos presos havia décadas. A trajetória dessa tecnologia é inegável e aponta para um futuro inquietante, no qual a IA dominará a matemática da mesma forma que acabou dominando o xadrez.
'Ciclone-bomba' provoca granizo no RS; Defesa Civil alerta para risco de tempestades e rajadas de vento
Ele trocou seu Galaxy S24 Ultra por um Nokia 3210 durante uma semana; o resultado de seu experimento é uma lição
Bryan Johnson, homem que queria viver até os 100 anos, admite que "foi longe demais em busca pela longevidade"
Um jornalista especializado em IA, Kai Williams, entrevistou vários matemáticos na já citada conferência da Filadélfia e conseguiu obter suas impressões. Um deles é Jacob Tsimerman, recente vencedor da Medalha Fields e que acaba de ser contratado pela OpenAI. Segundo ele, a IA em breve será "robustamente sobre-humana" no campo da matemática. Yu Deng, outra medalhista, foi um pouco mais otimista e apontou que serão os humanos que criarão teorias e ideias, enquanto as máquinas ...
Matérias relacionadas
Conheça o Ato, um alto-falante inteligente e com IA voltado a pessoas idosas
