AI and proof

Joao Marcos

unread,

May 20, 2021, 7:19:41 PM5/20/21

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

An AI has disproved five mathematical conjectures with no human help

-- Matthew Sparkes

New Scientist, May 20, 2021

https://outline.com/he3HH7

JM

Joao Marcos

unread,

May 20, 2021, 7:22:35 PM5/20/21

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

Consegui ler o artigo completo antes, mas agora já não consigo...

Aqui o link para o paper:
https://arxiv.org/abs/2104.14516

JM

--
http://sequiturquodlibet.googlepages.com/

Marcelo Finger

unread,

May 21, 2021, 7:30:04 AM5/21/21

to Joao Marcos, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

> An AI has disproved five mathematical conjectures with no human help

Essa tendência jornalística de personificar uma técnica (deep reinforcement learning, vulgo an AI), tende a ser mistificadora e faz muito mal à área pois gera um pânico desnecessário.

[]s

--
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/CAO6j_LiS5q_L6qer6GKLDt2mAX7nbnZymB5r2Dg%3D1Lidn3pOyw%40mail.gmail.com.

--

Marcelo Finger
Departament of Computer Science, IME
University of Sao Paulo
http://www.ime.usp.br/~mfinger

ORCID: https://orcid.org/0000-0002-1391-1175
ResearcherID: A-4670-2009

Reply all

Reply to author

Forward