Capacidades matemáticas do ChatGTP (Mathematical Capabilities of ChatGPT) - Artigo recomendado
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...