On Sun, May 10, 2026 at 11:32 AM Márcio Palmares <[email protected]> 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 https://philarchive.org/rec/GUEATU > > 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 https://feelingof.com/episodes/076/ > 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. > > > > Em sábado, 9 de maio de 2026, Adolfo Neto <[email protected]> escreveu: > >> 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_8450086749581272229_m_-6172307088821005258_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> >>> . >>> >> -- 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 -- 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/CANspyYU%3Dme9uSbRszTtkCwYQMHWg%2BkENMxPbnQx%3DSvBLC25xtA%40mail.gmail.com.
