Matemáticos alertam: não confiem cegamente na IA

Uma das utilidades atribuídas à inteligência artificial é a resolução de problemas matemáticos complexos. Este é um avanço totalmente benéfico para a humanidade, certo? Não é bem assim. Para os matemáticos, pesquisadores e historiadores que criaram a Declaração de Leiden, o uso de IA para esse fim requer muito cuidado.

A Declaração de Leiden sobre Inteligência Artificial e Matemática, como é chamada na íntegra, é um manifesto público que foi elaborado após cerca de 60 acadêmicos se reunirem na Universidade de Leiden, nos Países Baixos, para tratar da “mecanização” da pesquisa matemática.

O encontro foi realizado em setembro de 2025 e contou com a participação de matemáticos, especialistas em computação, filósofos, historiadores e cientistas sociais. Depois do evento, um grupo de trabalho foi formado para elaborar a declaração e, então, divulgá-la de modo amplo, a ponto de alcançar de indivíduos a organizações governamentais.

A Declaração de Leiden foi publicada em 2 de junho de 2026, mas não com a ideia de proibir o uso de IA em estudos ou resoluções de problemas matemáticos. O objetivo principal é alertar que essa prática deve ser conduzida com cuidado por haver vários riscos associados a ela.

Um deles é o fato de que mecanismos de inteligência artificial tendem a apresentar resultados de modo tão convincente que parece não haver erros ali, mesmo quando há:

Este é um problema sério: a pesquisa em matemática (…) quase sempre se baseia em pesquisas anteriores, portanto, é essencial que os pesquisadores saibam se os resultados na literatura estão corretos.

Fonte: Tecnoblog