Bom dia a todos, Trazendo aqui uma interessante entrevista que saiu ontem do Jacob Tsimerman, atual Fields, sobre o tema. Tem umas perguntas sensacionalistas, mas em geral é bem boa: o Tsimerman tem umas posições fortes com relação ao desenvolvimento de LLM's na Matemática, e elas não são tão agradáveis.
https://www.youtube.com/watch?v=6uIJdXmB4vE <https://www.youtube.com/watch?v=6uIJdXmB4vE> Em sábado, 1 de agosto de 2026 às 15:31:09 UTC-3, Walter Carnielli escreveu: > https://cdn.openai.com/pdf/ten-proofs-oai.pdf > > > "Ten Advances in Mathematics > and Theoretical Computer Science" > By OpenAI > > > Será que ninguém está notando? > > W. > > > > Walter Carnielli > CLE and Department of Philosophy > University of Campinas –UNICAMP, Brazil > > AI2- Advanced Institute for Artificial Intelligence > Blog https://waltercarnielli.com/ > > > > > > > > -- 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/0e4b1cc0-a1c4-45dd-8499-5cd29b109ccbn%40dimap.ufrn.br.
