Não sei dizer se há alguma Lógica nisso, mas o assunto da modelagem do aprendizado de Matemática pode ter algum interesse nesta lista: https://www.quantamagazine.org/symbolic-mathematics-finally-yields-to-neural-networks-20200520/
JM -- 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 discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhTrJU4zEDVRR2eaz9%2BfJwLbVOZP4OgyTTH8bcXn0BVRw%40mail.gmail.com.
