Shock! Shock! Knuth Claude Opus

[Elaine Pimentel]

A recent short note by Donald Knuth in which he and an associate tackled a non-trivial problem with Claude Opus 4.6

https://news.ycombinator.com/item?id=47230710

--

Elaine. 

-----------------------------------

Elaine Pimentel

Schools Outreach Lead

Professor of Logic and Computation

Deputy Director of the Computer Science and Philosophy programme

Programming Principles, Logic, and Verification 

Department of Computer Science, Office: Room 3.11, 66-72 Gower Street

University College London

URL: https://sites.google.com/site/elainepimentel/

UCL Computer Science is an Athena Swan Gold award winner for gender equality

UCL is ranked among the top ten in the QS World University Rankings 2024 and is winner of The Times and Sunday Times University of the Year 2024

-----------------------------------

[Adolfo Neto]

Bem, pra começar, eu acho errado criticar LLMs com "não consegue fazer isso" (pelo que entendi do primeiro parágrafo, esta era a crítica do Donald). 

Se conseguir, faz diferença em relação a todos os outros aspectos problemáticos de LLMs? Pra mim não.

Eu acho bem triste que alguém como o Knuth sequer mencione os problemas. O mínimo que espero de alguém que use é que mencione os problemas. É lavagem crítica, mas é o mínimo.

Recentemente fiz uma oficina e ministrei uma palestra com o título "Não precisamos aceitar a 'IA' como inevitável na educação". Tem vídeo e PDF no link.

Acho que o mesmo se aplica a pesquisa. 

 

--
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 esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVA%3DuYbN7eg_JB5nzaTNjkP4_8vTuDFYh_4trZW2DjM3Q%40mail.gmail.com.

--

Adolfo Neto

Associate Professor - Federal University of Technology, Paraná

Web: https://adolfont.github.io/
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br