>> Advancing mathematics by guiding human intuition with AI
>> https://www.nature.com/articles/s41586-021-04086-x
>
> 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
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 comen
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 -
*Chamada de Artigos: Ética Conceitual e Engenharia Conceitual*
*Revista Perspectiva Filosófica (PPGFIL/UFPE)*
https://periodicos.ufpe.br/revistas/perspectivafilosofica/announcement/view/651
Tradicionalmente, os filósofos propõem análises e avaliações de conceitos
que circundam seja na sociedade e
Advancing mathematics by guiding human intuition with AI
https://www.nature.com/articles/s41586-021-04086-x
JM
--
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-mai