Embora computadores sejam reconhecidos por superar humanos em cálculos, a matemática de alto nível ainda era um domínio exclusivamente humano.…
A Mistral AI acaba de lançar o Codestral Mamba e o Mathstral, dois novos modelos de linguagem especializados e de…
Pesquisadores do Laboratório de IA de Xangai desenvolveram recentemente um novo algoritmo chamado MCT Self-Refine, que permitiu a um modelo…
Um novo estudo, realizado em Gana, descobriu que os alunos que usaram Rori - um tutor de matemática com tecnologia de…
Pesquisadores do Google DeepMind revelaram ter empregado um extenso modelo de linguagem para resolver um quebra-cabeça matemático. A divulgação desse…