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_-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ê 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_hCxXC5iprFdD%3DKCOv9EPH6p%3DvyzPvULNCiLYtMZZO-MryoA%40mail.gmail.com.
