17 views
Skip to first unread message

josé carlos cifuentes

unread,
Dec 15, 2021, 12:00:35 PM12/15/21
to dmat-ufpr, josé carlos cifuentes, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Marcelo Finger

unread,
Dec 17, 2021, 4:49:44 PM12/17/21
to josé carlos cifuentes, dmat-ufpr, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Pelo que pude ver, não se trata de um teorema provado automaticamente, mas de matemáticos bem treinados usando um programa para identificar padrões, que é o que a IA conexionista faz hoje em dia.  Eles geraram um novo invariante algébrico-geométrico, que serve de base para provar conjecturas em aberto.

[]s


Em qua., 15 de dez. de 2021 às 14:00, josé carlos cifuentes <jcc...@gmail.com> escreveu:

--
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 essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYASJPAzeTv%3DmuPjQPvfDxuA9KH226oP-LpW9hCPQbVLkDA%40mail.gmail.com.


--
Marcelo Finger
 Departament of Computer Science, IME-USP   
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/0000-0002-1391-1175
 ResearcherID: A-4670-2009

Instituto de Matemática e Estatística,

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP

Reply all
Reply to author
Forward
0 new messages