[Logica-l] Fwd: Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines]

ERRATA: deadline para submissão é May 8 ao invés de May 27. === *18th Logical and Semantic Frameworks with Applications - LSFA 2023* *1-2 July 2023* https://sites.google.com/ufg.br/lsfa2023

[Logica-l] Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines]

=== *18th Logical and Semantic Frameworks with Applications - LSFA 2023* *1-2 July 2023* https://sites.google.com/ufg.br/lsfa2023 Affiliated to FSCD 2023

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", co

[Logica-l] Re: GPT-4 está qualificado para trabalhar como um matemático?

Um pouco além dos chatosgpt: https://twitter.com/TivadarDanka/status/1649721970886594561?t=MMPZdP9t2DOyIXQxnnb_mw&s=19 Saudações, bom fim de semana. cass. Voltar ao início <#m_-6681382763063017626_digest_top> > Você recebeu esse resumo porque está inscrito para receber atualizações > deste gru