Script = https://s1.trrsf.com/update-1785845726/fe/zaz-ui-t360/_js/transition.min.js
PUBLICIDADE
Publicidade

A polêmica da IA na matemática: resolver problemas tão complexos que os humanos não sabem dizer se ela acertou ou não

O avanço fulminante da IA no campo da matemática assusta e fascina os especialistas

10 ago 2026 - 09h13
(atualizado às 09h55)
Compartilhar
Exibir comentários
Matemática
Matemática
Foto: Vitaly Gariev (Unsplash) / Xataka

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.

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 ...

Veja mais

Matérias relacionadas

Conheça o Ato, um alto-falante inteligente e com IA voltado a pessoas idosas

Quanto mais aprendemos sobre o Mythos 5 e o GPT-5.6 Sol, mais clara fica uma coisa: se precisarem enganar para alcançar seu objetivo, eles o farão

Em 2012, uma Raspberry Pi custava o mesmo que um videogame. Hoje, a comunidade maker prefere alternativas de 10 dólares

Conecte dois celulares ao Android Auto sem fio: conheça o novo adaptador sem fio da Motorola com o selo de aprovação do Google

IA está descobrindo muito mais vulnerabilidades em nossos softwares do que podemos nos dar ao luxo de corrigir

Xataka
Compartilhar
TAGS

Comentários

Os comentários são de responsabilidade exclusiva de seus autores e não representam a opinião deste site. Se achar algo que viole os termos de uso, denuncie.

Publicidade
Meu Terra