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
BLOG
Leia mais »
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
Como excluir em massa os emails no Gmail
Não há muitas coisas mais aterrorizantes do que receber uma notificação de que você está ficando sem espaço de armazenamento de e-mails. A boa notícia:
FAÇA PARTE DA MINHA LISTA DE E-MAILS
Toda semana envio reflexões e dicas para pessoas que estão no caminho para a autonomia profissional.
Novas ferramentas, dicas de livros, vídeos, podcasts e muito mais. Eu passo grande parte dos meus dias em busca dos melhores recursos e informações que ajudam freelancers e profissionais autônomos.
