Bom dia, isto aqui também é intere https://phys.org/news/2019-04-toshiba-breakthrough-algorithm-world-fastest.html
saudações, Paulo Em dom, 28 de abr de 2019 às 17:01, Joao Marcos <botoc...@gmail.com> escreveu: > Divulgação: > > https://mathscholar.org/2019/04/google-ai-system-proves-over-1200-mathematical-theorems/ > > O paper correspondente apareceu no arXiv há duas semanas: > > HOList: An Environment for Machine Learning of Higher-Order Theorem Proving > https://arxiv.org/pdf/1904.03241.pdf > > Joao Marcos > > -- > 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjyPEE41ykRxhK1wQ1NYmS0RX6gcp-_0uw65RmWMggvvw%40mail.gmail.com > . > -- 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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALWi%2BZF6o%2BdonPQioB%2BFmB3cwqGvkBMMapme92uV0J6H6ov%3DRA%40mail.gmail.com.
