Matemática e IA
100 views
Skip to first unread message
Walter Carnielli
Apr 27, 2026, 8:49:12 PMApr 27
to Lista dos Logicos Brasileiros
Ola Valéria, e toda(o)s:
Acho que o David Bessis tem razão. Concordo com sua
proposta: a comunidade matemática precisa abandonar seu "código
de honra" que valoriza demasiadamente a prova de teoremas.
Essa obsessão com o produto final (o teorema) em detrimento do
processo (a intuição, a formulação de novas linguagens e
definições) criou essa oportunidade perfeita onde a IA agora
começa a reinar.
Os matemáticos deveriam sim começa a trabalhar com, e divulgar abertamente a "matemática secreta". É preciso comunicar a todo mundo — e, talvez mais importante, a nós mesmos — que o verdadeiro produto da matemática é a compreensão e a clareza. Os teoremas são apenas a cereja desse processo, não o objetivo final.
Se essa mudança de narrativa não acontecer, a matemática corre o risco de ser vista como uma atividade fora da capacidade humana, porque a IA se tornará cada vez mais proficiente na "matemática oficial", gerando provas complexas , corretas, e irrelevantes ou incompreensíveis. As máquinas terão "resolvido a matemática".
No entanto, a IA dificilmente criará a verdadeira "matemática secreta": o processo cognitivo humano de construir significado, de ter o insight que conecta áreas distantes, de criar a definição elegante que torna o complexo trivial.
Acho mesmo que essa distinção deveria se tornar parte fundamental da educação do matemático. Devemos ensinar os estudantes a valorizar o "porquê" por trás de uma definição e a beleza de um novo conceito com o mesmo rigor que ensinamos a validar uma prova.
Mais ou menos foi o que escrevi aqui: https://revistas.pucsp.br/index.php/circumhc/article/view/55033
Abraços,
Walter
--
Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/
Valeria de Paiva
Apr 28, 2026, 4:55:04 PMApr 28
to Walter Carnielli, Lista dos Logicos Brasileiros
Achei que voce ia gostar, Walter!
abs
Valeria
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58NdmDdtGQKveaST-u5KW9jVW%3Dujm6P1GK2s6ib2LzKCug%40mail.gmail.com.
Márcio Palmares
May 8, 2026, 6:18:13 PM (6 days ago) May 8
to Valeria de Paiva, Walter Carnielli, Lista dos Logicos Brasileiros
Agora foi a vez do Tim Gowers realizar um experimento com o ChatGPT 5.5 e concluir que as coisas realmente mudaram...
A postagem dele, de hoje, está aqui:
É difícil dizer o quão profunda é essa revolução, porque ela está ocorrendo bem diante dos nossos olhos, neste exato momento. Tudo vai mudar em poucos meses, em poucos anos...
Mas a colaboração homem-máquina chegou para ficar. É uma revolução diferente das anteriores, porque não muda apenas o conteúdo de uma área, muda a própria natureza da atividade científica... (e altera o status do matemático profissional perante a sociedade. Não no sentido de eliminá-lo, mas de exigir muito mais dele).
Abraços,
M.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsWW8NXBvA5_oLHF2Tsac-0zLOWrGhLF9MPv7CQR-5o9w%40mail.gmail.com.
Adolfo Neto
May 9, 2026, 5:51:31 PM (5 days ago) May 9
to Márcio Palmares, Valeria de Paiva, Walter Carnielli, Lista dos Logicos Brasileiros
Não li o texto indicado pela Valeria, nem o indicado pelo Márcio, mas tenho certeza que são bons.
Já postei aqui minhas entrevistas com o Léo de Moura sobre Lean é as postagens dele no Instagram parecem ir na mesma direção do que vocês comentaram aqui.
Meus dois centavos vão para "colaboração homem-máquina chegou para ficar". Se 'máquina' aqui for grandes modelos de linguagem, eu espero que não, torço que não é vou fazer o possível para que não. Em sua forma atual, é uma tecnologia antiética. Além disso, quem entende do lado econômico das empresas já que um dos textos menciona o Chat GPT 5.5 Pro - que exige assinatura mensal de 20 dólares), diz que estas empresas não devem sobreviver por muito tempo, ao menos não cobrando tão pouco. A matemática vai ficar ainda mais elitista?
Tenho literalmente centenas de links que poderia passar aqui, mas vou passar só um hoje
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA_hCxXC5iprFdD%3DKCOv9EPH6p%3DvyzPvULNCiLYtMZZO-MryoA%40mail.gmail.com.
Márcio Palmares
May 10, 2026, 10:32:53 AM (4 days ago) May 10
to Adolfo Neto, Valeria de Paiva, Walter Carnielli, Lista dos Logicos Brasileiros
Essa postagem do Tim Gowers não tem muita profundidade... Os pontos de vista mais interessantes estão no ensaio do Bessis divulgado pela Valéria ou no artigo que o Walter escreveu.
Mas a postagem do Tim Gowers é uma evidência de que as coisas mudaram mesmo, para o bem ou para o mal. Ela coincide, a propósito, no conteúdo, com a última coluna do Marcelo Viana na Folha de São Paulo, que termina assim:
"Guilherme Silveira, empresário brasileiro com formação em matemática me comunicou como usou automação com IA para obter resultados de pesquisa na área da minha tese de doutorado. Regularmente, os colegas me relatam como a assistência da inteligência artificial está mudando o modo como fazem matemática, e eu vejo o mesmo acontecendo comigo e com meus alunos. Gostemos ou não, a IA chegou para ficar e a matemática nunca mais será a mesma."
Essa é a questão. Para mim, é um problema filosófico, antes de qualquer outra coisa: máquinas estão fazendo coisas suficientemente inteligentes, de forma relativamente autônoma, a ponto de surpreender um matemático de primeria linha, um "medalhista Fields".
Eu, como sou materialista no sentido filosófico, acho tudo isso muito bacana, pois o misticismo está recuando mais um passo. Tudo aquilo que conseguimos fabricar, reproduzir, controlar, perde o ar misterioso. Fogo, moléculas orgânicas, energia atômica e, agora, inteligência artificial.
Claro, todas as tecnologias vêm à luz em nossa sociedade sob a forma de mercadorias, e são vendidas como tais pelod possuidores de mercadorias. IA é uma mercadoria. Computadores são mercadorias. Onde há mercadorias há exploração do trabalho. Tudo isso é condenável, mas atinge todos os aspectos da nossa vida em sociedade. Essas roupas que usamos, por exemplo, foram quase certamente fabricadas na China por seres humanos em condições análogas à escravidão. É antiético usarmos essas roupas?
O fenômeno que realmente interessa aqui é a mudança filosófica, epistemológica, sobre o que é de fato matemática. A queda da economia de teoremas está aí, é um fato. Matemática é algo além do que essas máquinas fazem? (Minha opinião é a de que sim, escrever matemática e demonstrar teoremas é uma fase posterior e meio secundária do pensamento matemático.) Mas até que ponto essa nossa pretensão de que tenhamos intuições especiais, imaginação especial, generalizações (em oposição à mera escrita e demonstração) não é também uma tentativa meio inconsciente de preservarmos o status do escriba perante o restante de escravizados analfabetos?
Algo para pensarmos...
Abraços,
M.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
Adolfo Neto
May 11, 2026, 3:18:59 PM (3 days ago) May 11
to Márcio Palmares, Valeria de Paiva, Walter Carnielli, Lista dos Logicos Brasileiros
On Sun, May 10, 2026 at 11:32 AM Márcio Palmares <marciop...@gmail.com> wrote:
Essa postagem do Tim Gowers não tem muita profundidade... Os pontos de vista mais interessantes estão no ensaio do Bessis divulgado pela Valéria ou no artigo que o Walter escreveu.Mas a postagem do Tim Gowers é uma evidência de que as coisas mudaram mesmo, para o bem ou para o mal. Ela coincide, a propósito, no conteúdo, com a última coluna do Marcelo Viana na Folha de São Paulo, que termina assim:"Guilherme Silveira, empresário brasileiro com formação em matemática me comunicou como usou automação com IA para obter resultados de pesquisa na área da minha tese de doutorado. Regularmente, os colegas me relatam como a assistência da inteligência artificial está mudando o modo como fazem matemática, e eu vejo o mesmo acontecendo comigo e com meus alunos. Gostemos ou não, a IA chegou para ficar e a matemática nunca mais será a mesma."Essa é a questão. Para mim, é um problema filosófico, antes de qualquer outra coisa: máquinas estão fazendo coisas suficientemente inteligentes, de forma relativamente autônoma, a ponto de surpreender um matemático de primeria linha, um "medalhista Fields".Eu, como sou materialista no sentido filosófico, acho tudo isso muito bacana, pois o misticismo está recuando mais um passo. Tudo aquilo que conseguimos fabricar, reproduzir, controlar, perde o ar misterioso. Fogo, moléculas orgânicas, energia atômica e, agora, inteligência artificial.Claro, todas as tecnologias vêm à luz em nossa sociedade sob a forma de mercadorias, e são vendidas como tais pelod possuidores de mercadorias. IA é uma mercadoria. Computadores são mercadorias. Onde há mercadorias há exploração do trabalho. Tudo isso é condenável, mas atinge todos os aspectos da nossa vida em sociedade. Essas roupas que usamos, por exemplo, foram quase certamente fabricadas na China por seres humanos em condições análogas à escravidão. É antiético usarmos essas roupas?
Sim, é. Mas não dá pra ficar discutindo todos os problemas do mundo num fio. Aqui estamos falando de IA. Mas, OK. Sabe o que aconteceu com tanta gente (principalmente os próprios trabalhadores) reclamando sobre as condições desumanas das pessoas que trabalham na indústria de fast fashion? As condições delas melhoraram! Não o suficiente ainda, mas melhoraram. Tá no vídeo que postei (14:40).
Fugir desta discussão é complicado pra mim. Se eu fizesse isso, me sentiria covarde, por ser da área. É OK pra você que não é da área. Você deve estar em outras lutas e tudo bem, ninguém pode se dedicar a tudo. Eu adotei esta luta pra mim.
E, claro, não é o único problema. Aqui tem alguns (vários) outros:
Against the Uncritical Adoption of 'AI' Technologies in Academia
O fenômeno que realmente interessa aqui é a mudança filosófica, epistemológica, sobre o que é de fato matemática. A queda da economia de teoremas está aí, é um fato. Matemática é algo além do que essas
Esse é um tema interessante, mas é meio incerto considerando a falta de viabilidade econônima aparente de todos os modelos https://www.betteroffline.com/
Eu não me sinto à vontade tentando oprever o futuro ou cenários imaginários. Não gosto de ficção científica.
máquinas fazem? (Minha opinião é a de que sim, escrever matemática e demonstrar teoremas é uma fase posterior e meio secundária do pensamento matemático.)
Mas já que você gosta, talvez goste deste episódio do Feeling of Computing
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
Reply all
Reply to author
Forward
0 new messages