A Declara\u00e7\u00e3o de Leiden sobre Intelig\u00eancia Artificial e Matem\u00e1tica aponta que o uso da IA em estudos matem\u00e1ticos deve ser feito com cautela. O manifesto foi criado por cerca de 60 acad\u00eamicos durante encontro na Universidade de Leiden, nos Pa\u00edses Baixos, em setembro de 2025. A publica\u00e7\u00e3o ocorreu em 2 de junho de 2026.<\/p>\n
O grupo reuniu matem\u00e1ticos, especialistas em computa\u00e7\u00e3o, fil\u00f3sofos, historiadores e cientistas sociais para tratar da mecaniza\u00e7\u00e3o da pesquisa matem\u00e1tica. A iniciativa conta com o apoio da Uni\u00e3o Internacional de Matem\u00e1tica e busca alcan\u00e7ar indiv\u00edduos e organiza\u00e7\u00f5es governamentais.<\/p>\n
A declara\u00e7\u00e3o n\u00e3o pro\u00edbe a IA na matem\u00e1tica, mas alerta para riscos associados ao uso da tecnologia em resultados matem\u00e1ticos. Funcion\u00e1rios e pesquisadores devem entender que resultados convincentes nem sempre s\u00e3o corretos e podem ser base para erros na literatura.<\/p>\n
Apoia ainda que rascunhos gerados por IA sejam avaliados com rigor, evitando a fofada de certificar achados sem valida\u00e7\u00e3o. H\u00e1 preocupa\u00e7\u00e3o com a clareza na indica\u00e7\u00e3o de fontes humanas originais nos trabalhos.<\/p>\n
Entre os problemas destacam-se a aus\u00eancia de devidas fontes, a superestima\u00e7\u00e3o da capacidade da IA e o risco de disseminar resultados incorretos. O manifesto alerta para desigualdade de acesso a ferramentas avan\u00e7adas entre pesquisadores.<\/p>\n
Outra preocupa\u00e7\u00e3o envolve o potencial uso comercial de IA, que pode privilegiar pesquisas com valor econ\u00f4mico imediato em detrimento de assuntos cient\u00edficos essenciais. A ideia \u00e9 manter equil\u00edbrio e foco no avan\u00e7o matem\u00e1tico.<\/p>\n
O texto orienta governos a regulamentarem de forma rigorosa a ind\u00fastria de IA. Al\u00e9m disso, recomenda que institui\u00e7\u00f5es de ensino verifiquem trabalhos com IA por crit\u00e9rios estritos.<\/p>\n
Organiza\u00e7\u00f5es devem evitar que textos criados com IA sirvam de base para treinamentos de ferramentas comerciais sem autoriza\u00e7\u00e3o. A Declara\u00e7\u00e3o de Leiden tamb\u00e9m sugere transpar\u00eancia no uso de IA em pesquisas.<\/p>\n
Ao publicar a declara\u00e7\u00e3o, j\u00e1 havia mais de 2.000 signat\u00e1rios globais, principalmente docentes universit\u00e1rios e pesquisadores. A ades\u00e3o busca ampliar o alcance do manifesto para al\u00e9m de laborat\u00f3rios, alcan\u00e7ando organismos p\u00fablicos e privados.<\/p>\n
A iniciativa foi divulgada ap\u00f3s o encontro em Leiden e marca um alerta p\u00fablico sobre a integra\u00e7\u00e3o entre IA e matem\u00e1tica. A leitura do texto completo est\u00e1 dispon\u00edvel para consulta p\u00fablica por meio de canais oficiais.<\/p>\n","protected":false},"excerpt":{"rendered":"