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_-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ê 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/CA%2Bob58NdmDdtGQKveaST-u5KW9jVW%3Dujm6P1GK2s6ib2LzKCug%40mail.gmail.com.
