Mas olhando um pouco mais para trás ainda, em áreas de processamento cognitivo em que a inserção da IA ocorreu a mais tempo, parece que deu certo. Os casos óbvios que me vem à mente são os da [assistência] à tradução de textos e correção/aconselhamento ortográfico/gramatical.
Abraço, Prolo On Mon, Jun 10, 2024 at 10:57 AM Marcelo Finger <[email protected]> wrote: > O problema é que essa passagem para o uso de provadores de teoremas > baseados em IA traz junto todos os problemas de IA que outras áreas já > enfrentam. > > Muitos matemáticos terão que ser retreinados, e muitíssimo se recusarão a > sê-lo. Isso terá como consequência possível um decréscimo no número de > matemáticos praticantes. Enfim, algo que já vem ocorrendo nas áreas do > direito, da música, do design e da publicidade. > > Mas é importante frisar que a parte crucial, que é imaginar a estratégia > de prova, não foi automatizada (ainda). > > []s > > > Em seg., 10 de jun. de 2024 às 09:11, Joao Marcos <[email protected]> > escreveu: > >> AI Will Become Mathematicians’ ‘Co-Pilot’ >> - Fields Medalist Terence Tao explains how proof checkers and AI >> programs are dramatically changing mathematics >> >> https://www.scientificamerican.com/article/ai-will-become-mathematicians-co-pilot/ >> >> (incluindo grande propaganda do LEAN) >> >> >> JM >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <[email protected]> >> --- >> 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 [email protected]. >> Para acessar esta discussão na web, acesse >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lirt0Tmokp3bqzEoeYTv%3Df7TF3LJPZPAdQ2uudUvk-5cw%40mail.gmail.com >> . >> > > > -- > Marcelo Finger > Departament of Computer Science, IME-USP > http://www.ime.usp.br/~mfinger > ORCID: https://orcid.org/0000-0002-1391-1175 > ResearcherID: A-4670-2009 > > Instituto de Matemática e Estatística, > > Universidade de São Paulo > > Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > Para acessar essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0OMXcGZ62NVJW7c2GcwFGOX%2BhiM5aYO9KL-V-52S7CQw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0OMXcGZ62NVJW7c2GcwFGOX%2BhiM5aYO9KL-V-52S7CQw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD7MeJtS21zt-DN9ioXKoVhf5ZWfKkTP67g9w%3DUGVvvbz_YQbw%40mail.gmail.com.
