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_-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ê 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/CAESt%3DXsWW8NXBvA5_oLHF2Tsac-0zLOWrGhLF9MPv7CQR-5o9w%40mail.gmail.com.
