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 <https://bsky.app/profile/irisvanrooij.bsky.social/post/3m5wpt4ikfs2l>, 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" <https://adolfoneto.elixiremfoco.com/blog/posts/2026-03-03-palestra/>. Tem vídeo e PDF no link. Acho que o mesmo se aplica a pesquisa. On Wed, Mar 4, 2026 at 5:02 AM Elaine Pimentel <[email protected]> wrote: > 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 > <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnews.ycombinator.com%2Fitem%3Fid%3D47230710&data=05%7C02%7Ce.pimentel%40ucl.ac.uk%7C5116f4dc38484ad8ce3d08de79573fa5%7C1faf88fea9984c5b93c9210a11d9a5c2%7C0%7C0%7C639081612905956139%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=qQbFwbBx1RVASB%2B8lzQsMOSyWiMV3Jjh2u8URSmwNIo%3D&reserved=0> > > -- > 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 > <https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan>* > UCL is ranked among the *top ten in the QS World University Rankings 2024 > <https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running>* > and > is winner of *The Times and Sunday Times University of the Year 2024 > <https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year>* > ----------------------------------- > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de > Lógica <[email protected]> > --- > 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 [email protected]. > 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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVA%3DuYbN7eg_JB5nzaTNjkP4_8vTuDFYh_4trZW2DjM3Q%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Adolfo Neto Associate Professor - Federal University of Technology, Paraná Web: *https://adolfont.github.io/ <https://adolfont.github.io/>* Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYVKQ9bqaehUy5vLW%2Bc8ZEryw9H5tjw8g3y%2BJDSzA6x32g%40mail.gmail.com.
