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 <mfin...@ime.usp.br> 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 <botoc...@gmail.com> > 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 <logica-l@dimap.ufrn.br> >> --- >> 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 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 <logica-l@dimap.ufrn.br> > --- > 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 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 <logica-l@dimap.ufrn.br> --- 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 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.
