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/

[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 <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 <logi...@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+u...@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.