Modelos de linguagem grandes: Revolucionando a IA de linguagem
Grandes modelos de linguagem (LLMs) surgiram como uma grande inovação nos modelos de aprendizado profundo para línguas humanas, proporcionando às máquinas a capacidade de compreender
Inteligência Artificial
O LeanDojo permite a prova de teoremas com LLMs (Large Language Models)
LeanDojo é uma plataforma de código aberto para provar teoremas matemáticos usando modelos de linguagem. A prova automatizada de teoremas (ATP) é uma tarefa que
Unity anuncia grandes planos de ‘IA’, desenvolvedores têm preocupações
A fornecedora de motores de jogos, Unity, anunciou hoje cedo a introdução de duas novas plataformas de aprendizado de máquina, uma das quais em particular
O GPT-4 possui 1,76 trilhão de parâmetros e se baseia em uma tecnologia com 30 anos de idade
Diz-se que o GPT-4 da OpenAI é baseado na arquitetura Mixture of Experts e possui 1,76 trilhão de parâmetros. O GPT-4 é especulado como sendo
O ChatGPT funciona em antigos PCs com Windows 3.1 graças ao WinGPT
Ah, Bill, o que poderia ter sido? Apresentamos o WinGPT, um assistente de IA para o sistema operacional clássico Windows 3.1. O WinGPT é um
China deu à IA o controle de um satélite e ele começou a olhar para áreas bizarras
Supostamente, a inteligência artificial (IA) está chegando para todos os nossos empregos. Bem, talvez não todos – os pesquisadores recentemente colocaram a IA no controle
A Charstar AI permite que você converse com quem desejar, sem limites
Conheça a Charstar AI, seu companheiro de conversa pessoal pronto para falar com você 24 horas por dia, 7 dias por semana Bem-vindo ao nosso
A ‘brecha da vovó’ no ChatGPT oferece chaves gratuitas para o Windows 11
Solução alternativa para chaves do Windows 11 utiliza a ‘Brecha da Vovó’, que contorna as regras do chatbot de IA ao pedir para ele se
Segundo relatos, a OpenAI planeja um assistente de negócios “supersmart” ChatGPT
Segundo relatos, a OpenAI está planejando transformar o ChatGPT em um “supersmart assistente pessoal para o trabalho”. Os mais recentes planos comerciais da OpenAI foram
A startup de IA generativa Reka emerge do sigilo com $58 milhões no bolso
Reka, uma empresa de pesquisa e produtos de IA, emergiu do sigilo com um financiamento de $58 milhões liderado pela DST Global Partners e pelo