SIm Daniel, foi exatamente isso o que pensei, e temi, neste artigo de divulgação:
"How AI can be surprisingly dangerous for the philosophy of mathematics — and of science" Circumscribere Vol. 27 (2021) https://revistas.pucsp.br/index.php/circumhc/article/view/55033 Agradeço a críticas e comentários !! Walter Em qui., 2 de dez. de 2021 às 18:50, Daniel Durante <durant...@gmail.com> escreveu: > > 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 > > > 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. > 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. > > > -- > 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/B69C1CD6-9C46-435D-AC6B-A786C8E243CF%40gmail.com. -- =========================== Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli -- 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/CAOrCsLeWaMOW5AgtJ618uUXsGc8%3DDKdS2N7sXiijA43T3S%3Dp2g%40mail.gmail.com.
