IA para maiores – Até a matemática pode errar – e a IA pode ajudar a descobrir onde

Desvendando os algoritmos que permitem identificar falhas em sistemas complexos

Sem combinarem, dois textos publicados esta semana mostram algo surpreendente: até provas matemáticas podem ter falhas escondidas. E talvez a inteligência artificial ajude justamente na parte mais difícil — conferir se tudo faz sentido.

Nesta semana, dois artigos chamaram atenção para uma mesma pergunta: como saber se algo está realmente certo na matemática?

O primeiro foi publicado na Folha com o título “Como sabemos se a prova de um teorema está certa?”, escrito por Marcelo Viana. Ele é matemático, diretor-geral do IMPA e uma das pessoas mais respeitadas do Brasil nessa área. Ou seja: ele não está falando de fora, mas de dentro do próprio universo da matemática.

O segundo saiu na revista The Economist com o título “AI models could offer mathematicians a common language”, que em português significa algo como “Modelos de IA podem oferecer aos matemáticos uma linguagem comum”. Diferente de muitos jornais, a The Economist costuma publicar seus textos como voz da própria redação, então o artigo representa a visão editorial da revista.

A parte curiosa é que os dois textos se encontram no mesmo ponto.

Quando a gente pensa em matemática, imagina um lugar onde tudo é exato, perfeito e sem dúvida. Mas não é bem assim. Para um teorema ser aceito, não basta parecer certo: é preciso mostrar cada passo da lógica. E, às vezes, esses passos são tão longos e complexos que uma falha pode passar despercebida pelos humanos por muitos anos.

Foi isso que o texto do Marcelo Viana relembra. Um resultado matemático pode ser celebrado, estudado e respeitado por décadas, até que alguém perceba que havia um buraco importante na explicação.

É aí que entra a IA, na matéria da revista The Economist.

A ideia não é que a inteligência artificial “vire matemática” sozinha. A proposta é outra: usar a IA como uma ferramenta para ajudar humanos a revisar provas, traduzir raciocínios para linguagens mais precisas e organizar argumentos de um jeito mais fácil de verificar. Pense nela como uma revisora muito rápida e muito paciente, capaz de checar partes complicadas que dariam enorme trabalho para uma pessoa revisar sozinha.

Isso não elimina a importância dos matemáticos. Pelo contrário. Continuam sendo os humanos que fazem as grandes perguntas, percebem soluções elegantes e desconfiam quando algo parece estranho. A IA pode ajudar a conferir. Mas a criatividade e o olhar crítico continuam sendo humanos.

No fim, os dois artigos deixam nos obrigam a refletir coisas como:
Talvez a IA não seja mais importante por “pensar” no nosso lugar, mas por ajudar a humanidade a confiar (ou desconfiar) melhor no que pensa.

Links dos artigos:

Folha — Como sabemos se a prova de um teorema está certa?
https://www1.folha.uol.com.br/colunas/marceloviana/2026/04/como-sabemos-se-a-prova-de-um-teorema-esta-certa.shtml

The Economist — AI models could offer mathematicians a common language
https://www.economist.com/science-and-technology/2026/04/08/ai-models-could-offer-mathematicians-a-common-language