Re: [Logica-l] Embracing change and resetting expectations | Microsoft Unlocked

[Walter Carnielli]

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 
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 
> ---
> 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
> 
> .
>

-- 
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/CAOrCsLc%2BYaQWjcBSh8q%2BK1Z5GZkthDVfevdbBDLAhh_ti9MMvQ%40mail.gmail.com.

[Logica-l] Embracing change and resetting expectations | Microsoft Unlocked

[Ruy de Queiroz]

“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 

--- 
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/D467BCCF-6E4A-49BD-BDAE-F57DAA8C48AC%40cin.ufpe.br.