Me parece que a ideia é mais ousada do que usar IA para demonstrar teoremas. É usá-la para PROPOR teoremas (conjecturas) e eventualmente demonstrá-las. Aí, sim, a gente entra num terreno maravilhoso e, pelo menos para mim, assustador também.
Saudações, Daniel. ----- Departamento de Filosofia - (UFRN) http://danieldurante.weebly.com > On 2 Dec 2021, at 13:14, Joao Marcos <botoc...@gmail.com> wrote: > > Advancing mathematics by guiding human intuition with AI > https://www.nature.com/articles/s41586-021-04086-x > <https://www.nature.com/articles/s41586-021-04086-x> > > > JM > > -- > 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 > <mailto: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/CAO6j_LiuNbCb0rMESUB_YZc%3DN%3DPdejTT5iw2UG4qFJCY5MhemQ%40mail.gmail.com > > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiuNbCb0rMESUB_YZc%3DN%3DPdejTT5iw2UG4qFJCY5MhemQ%40mail.gmail.com?utm_medium=email&utm_source=footer>. -- 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/B69C1CD6-9C46-435D-AC6B-A786C8E243CF%40gmail.com.
