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 <botoc...@gmail.com>
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 
<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 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.

Responder a