Matemática e IA
Walter Carnielli
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
--
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil
AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/
Valeria de Paiva
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58NdmDdtGQKveaST-u5KW9jVW%3Dujm6P1GK2s6ib2LzKCug%40mail.gmail.com.