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. 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_-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> >> . >> > -- 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/CAA_hCxWCsSjcOhHAkcjTwwGZaX9Po3hFea8NgvQFGmuHyEET%2BA%40mail.gmail.com.
