Obrigado Ruy. Tenho usado uma versão gratuita do GPT4 através do sincode.ai, me parece que o Terry Tao está absolutamente correto.
Quando integrado com ferramentas como verificadores de prova, assistentes de prova como Coq e Isabelle, pesquisa na internet e pacotes matemáticos simbólicos como Mathematica o GPT5 (digamos) vai ser um companheiro inigualável para matemáticos, logicos, computeiros e filosófis analíticos. Talvez bao nao em 2026, mas em 2030 aposto alto... Notem que o Terry Tao não falou nada sobre isto é inteligência ou não; isso já é desimportante, o que importa é que será um grande artefato cognitivo. Abs Em qui., 29 de jun. de 2023 10:05, Ruy de Queiroz <r...@cin.ufpe.br> escreveu: > “The 2023-level AI can already generate suggestive hints and promising > leads to a working mathematician and participate actively in the > decision-making process. When integrated with tools such as formal proof > verifiers, internet search, and symbolic math packages, I expect, say, > 2026-level AI, when used properly, will be a trustworthy co-author in > mathematical research, and in many other fields as well.” > https://unlocked.microsoft.com/ai-anthology/terence-tao/ > > > > -- > 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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D467BCCF-6E4A-49BD-BDAE-F57DAA8C48AC%40cin.ufpe.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D467BCCF-6E4A-49BD-BDAE-F57DAA8C48AC%40cin.ufpe.br?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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLc%2BYaQWjcBSh8q%2BK1Z5GZkthDVfevdbBDLAhh_ti9MMvQ%40mail.gmail.com.