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: > > https://canaltech.com.br/inteligencia-artificial/ia-da-deepmind-resolve-problema-que-atormentava-matematicos-ha-mais-de-40-anos-204119/ > > > -- > 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+unsubscr...@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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAEQwYASJPAzeTv%3DmuPjQPvfDxuA9KH226oP-LpW9hCPQbVLkDA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2H-8_cQaEYgfVke-jqnc5gnGfyVJFwZfX2%3DCUdSpEZwg%40mail.gmail.com.
