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 https://youtu.be/aooiDA-AsNo Adolfo Neto Associate Professor - Federal University of Technology, Paraná Web: *https://adolfont.github.io/ <https://adolfont.github.io/>* Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br Em sex., 8 de mai. de 2026, 19:18, Márcio Palmares <[email protected]> escreveu: > 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: > > > https://gowers.wordpress.com/2026/05/08/a-recent-experience-with-chatgpt-5-5-pro/ > > É 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. > > > Em terça-feira, 28 de abril de 2026, Valeria de Paiva < > [email protected]> escreveu: > >> Achei que voce ia gostar, Walter! >> abs >> Valeria >> >> On Mon, Apr 27, 2026 at 5:54 PM Walter Carnielli < >> [email protected]> wrote: >> >>> 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 >>> >>> >>> >>> >>> >>>> >>>> >>>> - [off?] Ensaio sobre matematica e AI >>>> >>>> <#m_6002688791604081327_m_-3782463783059891380_m_-6410291741749937019_m_-3460158740296109455_group_thread_0> >>>> - 1 atualização >>>> >>>> [off?] Ensaio sobre matematica e AI >>>> <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/4737943f005b4189?utm_source=digest&utm_medium=email> >>>> >>>> >>>> -- >>> Walter Carnielli >>> CLE and Department of Philosophy >>> University of Campinas –UNICAMP, Brazil >>> >>> AI2- Advanced Institute for Artificial Intelligence >>> Blog https://waltercarnielli.com/ >>> >>> >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >>> Lógica <[email protected]> >>> --- >>> 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 [email protected]. >>> Para ver esta conversa, acesse >>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58NdmDdtGQKveaST-u5KW9jVW%3Dujm6P1GK2s6ib2LzKCug%40mail.gmail.com >>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58NdmDdtGQKveaST-u5KW9jVW%3Dujm6P1GK2s6ib2LzKCug%40mail.gmail.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <[email protected]> >> --- >> 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 [email protected]. >> 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 >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsWW8NXBvA5_oLHF2Tsac-0zLOWrGhLF9MPv7CQR-5o9w%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > 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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA_hCxXC5iprFdD%3DKCOv9EPH6p%3DvyzPvULNCiLYtMZZO-MryoA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUJhj%3Dd0yCVmmHW1W_2xWiUVF%3D%2B5g%2BhGMdRZxchD1vzCg%40mail.gmail.com.
