Blog do Professor Jean Piton

Edit: o post original é de 2007, e foi editado e atualizado. A Geometria da Tartaruga caracteriza-se por uma forma diferenciada de conceber-se a Geometria Euclidiana, a Geometria Analítica e as demais Geometrias.  A Geometria da Tartaruga encontra-se tanto o estilo axiomático de Euclides (Lógico), quanto o de Descartes (Analítico). Encontramos, assim, esses dois estilos inseridos no Logo, através do micromundo da Tartaruga.  Também é um estilo computacional de Geometria que, por sua estrutura subjacente, faz uma abordagem construtivista da própria Geometria Euclidiana e das demais formas de abordagens da Geometria (Miskulin, 1999). Recomendamos o estudo de Schorr et al. (2022) que  apresenta um estudo sobre a percepção de estudantes da Educação Básica durante o ensino de Geometria Plana, utilizando as ferramentas Xlogo e Scratch. Nessa linha, o XLOGO é um interpretador LOGO escrito em JAVA. Ele suporta 8 idiomas e é distribuído sob licença GPL (software livre). Infel...

Autores: Simon Frieder, Luca Pinchetti, Ryan-Rhys Griffiths, Tommaso Salvatori, Thomas Lukasiewicz, Philipp Christian Petersen, Alexis Chevalier, Julius Berner Link para acesso e download:   https://arxiv.org/abs/2301.13867 Resumo Nós investigamos as capacidades matemáticas do ChatGPT testando-o em conjuntos de dados disponíveis publicamente, bem como em conjuntos de dados feitos manualmente, e medindo seu desempenho em comparação a outros modelos treinados em um corpus matemático, como o Minerva. Também testamos se o ChatGPT pode ser um assistente útil para matemáticos profissionais, emulando vários casos de uso que surgem nas atividades profissionais diárias de matemáticos (resposta a perguntas, busca de teoremas). Em contraste com a matemática formal, onde grandes bancos de dados de provas formais estão disponíveis (por exemplo, a Biblioteca Matemática Lean), conjuntos de dados atuais de matemática em linguagem natural, usados ​​para avaliar modelos de linguagem, cobrem apenas a...

Existe um projeto não oficial ( https://github.com/lencx/ChatGPT ) destinado apenas para fins pessoais de aprendizado e pesquisa.  Por não ser oficial, a ferramenta poderá apresentar problemas, instabilidades e falhas de segurança. A instalação é por conta e risco do usuário. Para versões Windows e MAC, vá no repositório  https://github.com/lencx/ChatGPT/releases/ e baixe a versão mais nova em " Assets ".

O ChatGPT é um modelo de linguagem artificial desenvolvido pela OpenAI que foi treinado em grandes conjuntos de dados textuais para aprender a entender a linguagem natural. Como uma das principais aplicações da Inteligência Artificial, os modelos de linguagem são amplamente utilizados em tarefas como processamento de linguagem natural, tradução automática, chatbots e muito mais. O ChatGPT foi treinado com o objetivo de produzir respostas significativas e relevantes para uma ampla variedade de perguntas e tópicos. Para instalá-lo em qualquer versão igual ou acima de 16.04 LTS. 1. Update nos pacotes sudo apt update 2. A instalação é feita pelo Snapd sudo apt install snapd 3. Instalação do ChatGPT Desktop para Ubuntu sudo snap install chatgpt-desktop Resultados

Gabriel Couto Tabak - Universidade de São Paulo - https://orcid.org/0000-0002-8578-3686 Jean Piton-Gonçalves - Universidade Federal de São Carlos - https://orcid.org/0000-0002-7392-2001 Thales Ricarte - https://orcid.org/0000-0002-0830-5138 Mariana Curi - Universidade de São Paulo - https://orcid.org/0000-0002-7651-1064 Resumo: Testes internacionais de avaliação de alunos, em anos recentes, alteraram suas estruturas para implementar o formato adaptativo. O ENEM digital torna possível uma reestruturação da prova aderindo também aos testes adaptativos. Este artigo propõe um teste adaptativo multiestágio (TAM) para a prova do ENEM baseado na edição de 2019 na área de Matemática. Analisaram-se os itens do ENEM através da Teoria de Resposta ao Item, os quais foram utilizados para construir os módulos e estágios do TAM. O roteamento entre os módulos foi definido por um estudo do ponto de corte ótimo para o traço latente estimado, testado exaustivamente para encontrar o que trouxesse o mel...