Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?
Lendo abaixo nesse mesmo post,alguém perguntou a seguinte questão para o GPT 3 e o GPT4, comparando respostas: prove que a média aritmética de dois primos ímpares em sequência não pode ser primo. O GPT3 escreveu uma besteira absoluta (está em PDF no post). O GPT4 respondeu errado, "provou", com um lero-lero que engana qualquer amador, que a média aritmética de dois primos ímpares é par , o que é falso. Por exemplo 7 e 11 são primos consecutivos, e a média aritmética é 9. Nenhum deles respondeu o óbvio: se são dois primos ímpares consecutivos, a média aritmética é um inteiro, mas está entre dois consecutivos e obviamente não pode fazer parte dos primos. Parece que nem o GPT4 entende o conceito de consecutivo. O Terence Tao usou para fazer spreadsheet, mas não muito mais do que isso pode ser feito nem no GPT4. Continua sendo um Rolando Lero que agora é um office boy mais competente. Longíssimo de fazer alguma matemática como Isabelle, LEAN ou COQ. Claro que não está "qualificado para trabalhar como um matemático". W. Em sex., 21 de abr. de 2023 17:29, Joao Marcos escreveu: > > Um dos melhores usos é justamente gerar lero lero, exigido em algumas > situações. > > > > Ele também faz o contrário, pega um texto e gera ítens de ação. > > Há inúmeros bons usos possíveis --- para os "bons usuários". > Vejam, por exemplo, este post to Terence Tao: > https://mathstodon.xyz/@tao/110172426733603359 > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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/CAOrCsLeYECg88k7XR-imXDeoqELcRvrTvvzE_DgiZvdynm0-cg%40mail.gmail.com.
Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?
> Um dos melhores usos é justamente gerar lero lero, exigido em algumas > situações. > > Ele também faz o contrário, pega um texto e gera ítens de ação. Há inúmeros bons usos possíveis --- para os "bons usuários". Vejam, por exemplo, este post to Terence Tao: https://mathstodon.xyz/@tao/110172426733603359 JM -- http://sequiturquodlibet.googlepages.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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/CAO6j_LgbNHNzybgia3e4F-ouMyBRn2ftnaUY%3D4ckWWrvLqM7Nw%40mail.gmail.com.
Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?
penas formalmente relacionados. >>> >>> Apesar de tudo, a máquina fornece uma argumentação razoável (mesmo sendo >>> falsas as premissas, o que poderia ser visto como um mérito, não um >>> demérito, pois argumentar com boa fé normalmente é algo que fazemos supondo >>> que as premissas são verdadeiras). >>> >>> Mas nesse assunto das relações entre homens e máquinas, ainda acho que a >>> melhor resposta, a visão filosófica mais adequada, foi fornecida por Ian >>> Stewart: >>> >>> "Existe algo especial na maneira de pensar dos seres humanos que não >>> possa nunca (em princípio) ser realizado por algum tipo de máquina? Minha >>> opinião pessoal é que a resposta é "não". É verdade que, até o momento, não >>> podemos reproduzir as funções do cérebro; e é evidente que as semelhanças >>> entre o cérebro e os computadores existentes é aproximadamente a mesma que >>> existe entre uma vaca e um caminhão de distribuição de leite. Pode >>> acontecer que nossa tecnologia jamais seja capaz de produzir uma máquina >>> verdadeiramente "inteligente": pode ser que o cérebro humano seja demasiado >>> estúpido. No entanto, pessoalmente, acredito que não existe nenhum >>> obstáculo --nenhum obstáculo lógico, como o que impede a raiz quadrada de >>> dois de ser um número racional, ou como o que impede alguém de flutuar >>> puxando os cordões do próprio sapato-- que exclua a produção de uma máquina >>> que realize as funções do cérebro humano; pela seguinte razão: o corpo >>> humano é, visivelmente, uma máquina, no sentido de que é composto por >>> matéria e de que seus componentes obedecem às mesmas leis que o restante da >>> matéria. Trata-se de uma máquina complicadíssima e admirável, que >>> desconhecemos. Se existisse em princípio algum obstáculo para a construção >>> de máquinas que se comportassem como pessoas, tampouco as próprias pessoas >>> existiriam. >>> >>> Isto não significa rebaixar os seres humanos ao nível de abridores de >>> latas. Há muitas pessoas que insistem na complexidade do comportamento >>> humano, supondo que seus atributos emocionais, criativos e espirituais >>> deveriam ser consequência de algo "superior" às leis físicas. O conceito é >>> maravilhoso. Porém, ainda mais maravilhoso é o conceito de que tais >>> atributos sejam consequências de leis físicas! Longe de rebaixar a >>> humanidade, isto elevaria a física." >>> >>> Ian Stewart: "Conceptos de Matemática Moderna", Alianza Editorial, >>> Madri, 1977, p. 303. >>> >>> Abraços, >>> >>> M. >>> >>> >>> >>> Em segunda-feira, 17 de abril de 2023, Julio Stern >>> escreveu: >>> >>>> >>>> Car(a/o)s Redistas : >>>> >>>> Eu acho Impressionante a capacidade de sustentar um Lero-Lero do GPT-4. >>>> >>>> O Lero do GPT-4 sobre Arithmetica de Peano ou as Leis de Kepler eh >>>> muito melhor que eu esperaria ter conversando com alguem na fila do onibus, >>>> mesmo em um ponto de onibus dentro da USP. >>>> >>>> Conheco aplicativos de IA para diagnostico medigo em medicina geral que >>>> supera em muito a capacidade tipica de medicos (que nao sejam especialistas >>>> na area de interesse). >>>> >>>> Conheco aplicativos de IA para diagnostico de imagem (ex deteccao de >>>> celulas cancerosas) que superam em odens de magnitude a velocidade de >>>> processamento de qualquer humano. Ademais estes aplicativos fazem o >>>> trabalho com qualidade comparavel ao do processamento humano, mesmo >>>> considerando que a qualidade do diagnostico final Pode e Deve ser melhorada >>>> com a supervisao humana do resultados (ferramentas IA e humanos tem >>>> capacidades distintas e complementares). >>>> >>>> IA esta ai para ficar. Na minha opiniao: >>>> > Quem quiser desqualificar ou competir no mano-a-mano com aplicativos >>>> de IA, esta fadado ao fracasso; >>>> > Quem quiser incorporar ferramentas de Supporte a Desenvolvimento e >>>> Decisao nas suas atividades, encontrarah ferramentas muito valiosas; >>>> > Quem se capacitar a entender e explicar como estas ferramentas >>>> funcionam, e se dispor a inter-mediar suas aplicacoes em nosso mundo >>>> (humano, demasiadamente-humano) terah um prato cheio. >>>> >>>> Abraco e Tudo
Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?
e não >> possa nunca (em princípio) ser realizado por algum tipo de máquina? Minha >> opinião pessoal é que a resposta é "não". É verdade que, até o momento, não >> podemos reproduzir as funções do cérebro; e é evidente que as semelhanças >> entre o cérebro e os computadores existentes é aproximadamente a mesma que >> existe entre uma vaca e um caminhão de distribuição de leite. Pode >> acontecer que nossa tecnologia jamais seja capaz de produzir uma máquina >> verdadeiramente "inteligente": pode ser que o cérebro humano seja demasiado >> estúpido. No entanto, pessoalmente, acredito que não existe nenhum >> obstáculo --nenhum obstáculo lógico, como o que impede a raiz quadrada de >> dois de ser um número racional, ou como o que impede alguém de flutuar >> puxando os cordões do próprio sapato-- que exclua a produção de uma máquina >> que realize as funções do cérebro humano; pela seguinte razão: o corpo >> humano é, visivelmente, uma máquina, no sentido de que é composto por >> matéria e de que seus componentes obedecem às mesmas leis que o restante da >> matéria. Trata-se de uma máquina complicadíssima e admirável, que >> desconhecemos. Se existisse em princípio algum obstáculo para a construção >> de máquinas que se comportassem como pessoas, tampouco as próprias pessoas >> existiriam. >> >> Isto não significa rebaixar os seres humanos ao nível de abridores de >> latas. Há muitas pessoas que insistem na complexidade do comportamento >> humano, supondo que seus atributos emocionais, criativos e espirituais >> deveriam ser consequência de algo "superior" às leis físicas. O conceito é >> maravilhoso. Porém, ainda mais maravilhoso é o conceito de que tais >> atributos sejam consequências de leis físicas! Longe de rebaixar a >> humanidade, isto elevaria a física." >> >> Ian Stewart: "Conceptos de Matemática Moderna", Alianza Editorial, Madri, >> 1977, p. 303. >> >> Abraços, >> >> M. >> >> >> >> Em segunda-feira, 17 de abril de 2023, Julio Stern >> escreveu: >> >>> >>> Car(a/o)s Redistas : >>> >>> Eu acho Impressionante a capacidade de sustentar um Lero-Lero do GPT-4. >>> >>> O Lero do GPT-4 sobre Arithmetica de Peano ou as Leis de Kepler eh muito >>> melhor que eu esperaria ter conversando com alguem na fila do onibus, mesmo >>> em um ponto de onibus dentro da USP. >>> >>> Conheco aplicativos de IA para diagnostico medigo em medicina geral que >>> supera em muito a capacidade tipica de medicos (que nao sejam especialistas >>> na area de interesse). >>> >>> Conheco aplicativos de IA para diagnostico de imagem (ex deteccao de >>> celulas cancerosas) que superam em odens de magnitude a velocidade de >>> processamento de qualquer humano. Ademais estes aplicativos fazem o >>> trabalho com qualidade comparavel ao do processamento humano, mesmo >>> considerando que a qualidade do diagnostico final Pode e Deve ser melhorada >>> com a supervisao humana do resultados (ferramentas IA e humanos tem >>> capacidades distintas e complementares). >>> >>> IA esta ai para ficar. Na minha opiniao: >>> > Quem quiser desqualificar ou competir no mano-a-mano com aplicativos >>> de IA, esta fadado ao fracasso; >>> > Quem quiser incorporar ferramentas de Supporte a Desenvolvimento e >>> Decisao nas suas atividades, encontrarah ferramentas muito valiosas; >>> > Quem se capacitar a entender e explicar como estas ferramentas >>> funcionam, e se dispor a inter-mediar suas aplicacoes em nosso mundo >>> (humano, demasiadamente-humano) terah um prato cheio. >>> >>> Abraco e Tudo de bom, ---Julio Stern >>> >>> >>> -- >>> *From:* logica-l@dimap.ufrn.br on behalf of >>> Joao Marcos >>> *Sent:* Monday, April 17, 2023 1:09 AM >>> *To:* Lista acadêmica brasileira dos profissionais e estudantes da área >>> de LOGICA >>> *Subject:* [Logica-l] GPT-4 está qualificado para trabalhar como um >>> matemático? >>> >>> Adonai Sant'Anna registra algumas conversas divertidas em seu blogue: >>> >>> http://adonaisantanna.blogspot.com/2023/04/gpt-4-esta-qualificado-para-trabalhar.html >>> >>> >>> JM >>> >>> -- >>> http://sequiturquodlibet.googlepages.com/ >>> >>> -- >>> LOGICA-L >>> Lista acadêmica brasileira dos profissionais e estudantes da área de >&g
Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?
restante da matéria. > Trata-se de uma máquina complicadíssima e admirável, que desconhecemos. Se > existisse em princípio algum obstáculo para a construção de máquinas que se > comportassem como pessoas, tampouco as próprias pessoas existiriam. > > Isto não significa rebaixar os seres humanos ao nível de abridores de > latas. Há muitas pessoas que insistem na complexidade do comportamento > humano, supondo que seus atributos emocionais, criativos e espirituais > deveriam ser consequência de algo "superior" às leis físicas. O conceito é > maravilhoso. Porém, ainda mais maravilhoso é o conceito de que tais > atributos sejam consequências de leis físicas! Longe de rebaixar a > humanidade, isto elevaria a física." > > Ian Stewart: "Conceptos de Matemática Moderna", Alianza Editorial, Madri, > 1977, p. 303. > > Abraços, > > M. > > > > Em segunda-feira, 17 de abril de 2023, Julio Stern > escreveu: > >> >> Car(a/o)s Redistas : >> >> Eu acho Impressionante a capacidade de sustentar um Lero-Lero do GPT-4. >> >> O Lero do GPT-4 sobre Arithmetica de Peano ou as Leis de Kepler eh muito >> melhor que eu esperaria ter conversando com alguem na fila do onibus, mesmo >> em um ponto de onibus dentro da USP. >> >> Conheco aplicativos de IA para diagnostico medigo em medicina geral que >> supera em muito a capacidade tipica de medicos (que nao sejam especialistas >> na area de interesse). >> >> Conheco aplicativos de IA para diagnostico de imagem (ex deteccao de >> celulas cancerosas) que superam em odens de magnitude a velocidade de >> processamento de qualquer humano. Ademais estes aplicativos fazem o >> trabalho com qualidade comparavel ao do processamento humano, mesmo >> considerando que a qualidade do diagnostico final Pode e Deve ser melhorada >> com a supervisao humana do resultados (ferramentas IA e humanos tem >> capacidades distintas e complementares). >> >> IA esta ai para ficar. Na minha opiniao: >> > Quem quiser desqualificar ou competir no mano-a-mano com aplicativos de >> IA, esta fadado ao fracasso; >> > Quem quiser incorporar ferramentas de Supporte a Desenvolvimento e >> Decisao nas suas atividades, encontrarah ferramentas muito valiosas; >> > Quem se capacitar a entender e explicar como estas ferramentas >> funcionam, e se dispor a inter-mediar suas aplicacoes em nosso mundo >> (humano, demasiadamente-humano) terah um prato cheio. >> >> Abraco e Tudo de bom, ---Julio Stern >> >> >> -- >> *From:* logica-l@dimap.ufrn.br on behalf of >> Joao Marcos >> *Sent:* Monday, April 17, 2023 1:09 AM >> *To:* Lista acadêmica brasileira dos profissionais e estudantes da área >> de LOGICA >> *Subject:* [Logica-l] GPT-4 está qualificado para trabalhar como um >> matemático? >> >> Adonai Sant'Anna registra algumas conversas divertidas em seu blogue: >> >> http://adonaisantanna.blogspot.com/2023/04/gpt-4-esta-qualificado-para-trabalhar.html >> >> >> JM >> >> -- >> http://sequiturquodlibet.googlepages.com/ >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica >> --- >> 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/CAO6j_LiEp_52SSDbLw20fKPDtr_qGVgnq7WkgocahEmGTDg01Q%40mail.gmail.com >> . >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica >> --- >> 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/CPYP284MB14315A345D51B5372B871A64B69C9%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPYP284MB14315A345D51B5372B871A64B69C9%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM?utm_medium=email&utm_source=footer> >> . >> > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > Você recebeu essa mensagem porque está inscrito no grupo &q
Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?
as, tampouco as próprias pessoas existiriam. > > Isto não significa rebaixar os seres humanos ao nível de abridores de > latas. Há muitas pessoas que insistem na complexidade do comportamento > humano, supondo que seus atributos emocionais, criativos e espirituais > deveriam ser consequência de algo "superior" às leis físicas. O conceito é > maravilhoso. Porém, ainda mais maravilhoso é o conceito de que tais > atributos sejam consequências de leis físicas! Longe de rebaixar a > humanidade, isto elevaria a física." > > Ian Stewart: "Conceptos de Matemática Moderna", Alianza Editorial, Madri, > 1977, p. 303. > > Abraços, > > M. > > > > Em segunda-feira, 17 de abril de 2023, Julio Stern > escreveu: > >> >> Car(a/o)s Redistas : >> >> Eu acho Impressionante a capacidade de sustentar um Lero-Lero do GPT-4. >> >> O Lero do GPT-4 sobre Arithmetica de Peano ou as Leis de Kepler eh muito >> melhor que eu esperaria ter conversando com alguem na fila do onibus, mesmo >> em um ponto de onibus dentro da USP. >> >> Conheco aplicativos de IA para diagnostico medigo em medicina geral que >> supera em muito a capacidade tipica de medicos (que nao sejam especialistas >> na area de interesse). >> >> Conheco aplicativos de IA para diagnostico de imagem (ex deteccao de >> celulas cancerosas) que superam em odens de magnitude a velocidade de >> processamento de qualquer humano. Ademais estes aplicativos fazem o >> trabalho com qualidade comparavel ao do processamento humano, mesmo >> considerando que a qualidade do diagnostico final Pode e Deve ser melhorada >> com a supervisao humana do resultados (ferramentas IA e humanos tem >> capacidades distintas e complementares). >> >> IA esta ai para ficar. Na minha opiniao: >> > Quem quiser desqualificar ou competir no mano-a-mano com aplicativos de >> IA, esta fadado ao fracasso; >> > Quem quiser incorporar ferramentas de Supporte a Desenvolvimento e >> Decisao nas suas atividades, encontrarah ferramentas muito valiosas; >> > Quem se capacitar a entender e explicar como estas ferramentas >> funcionam, e se dispor a inter-mediar suas aplicacoes em nosso mundo >> (humano, demasiadamente-humano) terah um prato cheio. >> >> Abraco e Tudo de bom, ---Julio Stern >> >> >> -- >> *From:* logica-l@dimap.ufrn.br on behalf of >> Joao Marcos >> *Sent:* Monday, April 17, 2023 1:09 AM >> *To:* Lista acadêmica brasileira dos profissionais e estudantes da área >> de LOGICA >> *Subject:* [Logica-l] GPT-4 está qualificado para trabalhar como um >> matemático? >> >> Adonai Sant'Anna registra algumas conversas divertidas em seu blogue: >> >> http://adonaisantanna.blogspot.com/2023/04/gpt-4-esta-qualificado-para-trabalhar.html >> >> >> JM >> >> -- >> http://sequiturquodlibet.googlepages.com/ >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica >> --- >> 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/CAO6j_LiEp_52SSDbLw20fKPDtr_qGVgnq7WkgocahEmGTDg01Q%40mail.gmail.com >> . >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica >> --- >> 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/CPYP284MB14315A345D51B5372B871A64B69C9%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPYP284MB14315A345D51B5372B871A64B69C9%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM?utm_medium=email&utm_source=footer> >> . >> > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > 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/CAA_hCxUPGxusjctBCb3Gd%3Dvk88%3D53rtxQ%3D1XauYe9BrTiOx96w%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA_hCxUPGxusjctBCb3Gd%3Dvk88%3D53rtxQ%3D1XauYe9BrTiOx96w%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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/CAAd%2BSQn2EGYcKyKZwa%3D8tagNWTDX%3DR2xOF1oZ%3DYn6VGmDHOToQ%40mail.gmail.com.
Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?
ra, 17 de abril de 2023, Julio Stern escreveu: > > Car(a/o)s Redistas : > > Eu acho Impressionante a capacidade de sustentar um Lero-Lero do GPT-4. > > O Lero do GPT-4 sobre Arithmetica de Peano ou as Leis de Kepler eh muito > melhor que eu esperaria ter conversando com alguem na fila do onibus, mesmo > em um ponto de onibus dentro da USP. > > Conheco aplicativos de IA para diagnostico medigo em medicina geral que > supera em muito a capacidade tipica de medicos (que nao sejam especialistas > na area de interesse). > > Conheco aplicativos de IA para diagnostico de imagem (ex deteccao de > celulas cancerosas) que superam em odens de magnitude a velocidade de > processamento de qualquer humano. Ademais estes aplicativos fazem o > trabalho com qualidade comparavel ao do processamento humano, mesmo > considerando que a qualidade do diagnostico final Pode e Deve ser melhorada > com a supervisao humana do resultados (ferramentas IA e humanos tem > capacidades distintas e complementares). > > IA esta ai para ficar. Na minha opiniao: > > Quem quiser desqualificar ou competir no mano-a-mano com aplicativos de > IA, esta fadado ao fracasso; > > Quem quiser incorporar ferramentas de Supporte a Desenvolvimento e > Decisao nas suas atividades, encontrarah ferramentas muito valiosas; > > Quem se capacitar a entender e explicar como estas ferramentas > funcionam, e se dispor a inter-mediar suas aplicacoes em nosso mundo > (humano, demasiadamente-humano) terah um prato cheio. > > Abraco e Tudo de bom, ---Julio Stern > > > -- > *From:* logica-l@dimap.ufrn.br on behalf of Joao > Marcos > *Sent:* Monday, April 17, 2023 1:09 AM > *To:* Lista acadêmica brasileira dos profissionais e estudantes da área > de LOGICA > *Subject:* [Logica-l] GPT-4 está qualificado para trabalhar como um > matemático? > > Adonai Sant'Anna registra algumas conversas divertidas em seu blogue: > http://adonaisantanna.blogspot.com/2023/04/gpt-4-esta-qualificado-para- > trabalhar.html > > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > 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/CAO6j_LiEp_52SSDbLw20fKPDtr_ > qGVgnq7WkgocahEmGTDg01Q%40mail.gmail.com. > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica > --- > 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/CPYP284MB14315A345D51B5372B871 > A64B69C9%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPYP284MB14315A345D51B5372B871A64B69C9%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM?utm_medium=email&utm_source=footer> > . > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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/CAA_hCxUPGxusjctBCb3Gd%3Dvk88%3D53rtxQ%3D1XauYe9BrTiOx96w%40mail.gmail.com.
Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático?
Car(a/o)s Redistas : Eu acho Impressionante a capacidade de sustentar um Lero-Lero do GPT-4. O Lero do GPT-4 sobre Arithmetica de Peano ou as Leis de Kepler eh muito melhor que eu esperaria ter conversando com alguem na fila do onibus, mesmo em um ponto de onibus dentro da USP. Conheco aplicativos de IA para diagnostico medigo em medicina geral que supera em muito a capacidade tipica de medicos (que nao sejam especialistas na area de interesse). Conheco aplicativos de IA para diagnostico de imagem (ex deteccao de celulas cancerosas) que superam em odens de magnitude a velocidade de processamento de qualquer humano. Ademais estes aplicativos fazem o trabalho com qualidade comparavel ao do processamento humano, mesmo considerando que a qualidade do diagnostico final Pode e Deve ser melhorada com a supervisao humana do resultados (ferramentas IA e humanos tem capacidades distintas e complementares). IA esta ai para ficar. Na minha opiniao: > Quem quiser desqualificar ou competir no mano-a-mano com aplicativos de IA, > esta fadado ao fracasso; > Quem quiser incorporar ferramentas de Supporte a Desenvolvimento e Decisao > nas suas atividades, encontrarah ferramentas muito valiosas; > Quem se capacitar a entender e explicar como estas ferramentas funcionam, e > se dispor a inter-mediar suas aplicacoes em nosso mundo (humano, > demasiadamente-humano) terah um prato cheio. Abraco e Tudo de bom, ---Julio Stern From: logica-l@dimap.ufrn.br on behalf of Joao Marcos Sent: Monday, April 17, 2023 1:09 AM To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA Subject: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Adonai Sant'Anna registra algumas conversas divertidas em seu blogue: http://adonaisantanna.blogspot.com/2023/04/gpt-4-esta-qualificado-para-trabalhar.html JM -- http://sequiturquodlibet.googlepages.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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/CAO6j_LiEp_52SSDbLw20fKPDtr_qGVgnq7WkgocahEmGTDg01Q%40mail.gmail.com. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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/CPYP284MB14315A345D51B5372B871A64B69C9%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM.
[Logica-l] GPT-4 está qualificado para trabalhar como um matemático?
Adonai Sant'Anna registra algumas conversas divertidas em seu blogue: http://adonaisantanna.blogspot.com/2023/04/gpt-4-esta-qualificado-para-trabalhar.html JM -- http://sequiturquodlibet.googlepages.com/ -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- 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/CAO6j_LiEp_52SSDbLw20fKPDtr_qGVgnq7WkgocahEmGTDg01Q%40mail.gmail.com.
