Category: IA

IA resolve o enigma do balanceador de esteiras do Factorio

2024-12-30
IA resolve o enigma do balanceador de esteiras do Factorio

Esta postagem de blog descreve a jornada do autor na automação do design de balanceadores de esteiras do Factorio, um problema notoriamente complexo. Usando solucionadores de Programação de Inteiros Mistos (MIP) e Programação de Restrições SAT (CP-SAT), o autor enfrentou o desafio. Embora o modelo MIP tenha lutado com instabilidade numérica para balanceadores maiores, a abordagem CP-SAT, empregando discretização de fluxos e incorporando redes Banes e otimização de memória, resolveu com sucesso o design para um balanceador de 16x16 — uma façanha praticamente impossível manualmente. O processo destaca o papel crucial das técnicas de modelagem, seleção de algoritmos e estratégias de otimização para alcançar soluções eficientes.

Nvidia de código aberto Run:ai após aquisição de US$ 700 milhões

2024-12-30
Nvidia de código aberto Run:ai após aquisição de US$ 700 milhões

A Nvidia concluiu sua aquisição de US$ 700 milhões da Run:ai, uma empresa de software que simplifica a orquestração de nuvens de GPU para IA, e imediatamente tornou o software de código aberto. Essa medida provavelmente é uma resposta estratégica às preocupações antitruste, permitindo um acesso mais amplo à tecnologia e mitigando potenciais problemas regulatórios decorrentes da dominância de mercado da Nvidia. O software da Run:ai ajudará as empresas a gerenciar eficientemente os recursos de GPU para desenvolvimento de IA, promovendo o crescimento dentro do ecossistema de IA em geral.

IA

A Civilização Humana em um Cruzamento: Colapso Autoritário ou Superabundância?

2024-12-30
A Civilização Humana em um Cruzamento: Colapso Autoritário ou Superabundância?

O Dr. Nafeez Ahmed, um renomado teórico de sistemas, argumenta em um novo estudo publicado na revista Foresight que a civilização humana está à beira de um 'salto gigante' na evolução em direção a uma 'superabundância em rede' alimentada por energia limpa distribuída. No entanto, esse progresso é ameaçado pelo aumento do autoritarismo e do populismo nacionalista. Ahmed, que previu com precisão a crise financeira de 2008 e o crescimento da energia limpa, afirma que a civilização industrial está em declínio, mas tecnologias emergentes como energia limpa, agricultura celular e IA podem criar uma prosperidade sem precedentes. O sucesso dessa transição depende da governança responsável dessas novas capacidades.

Nova classe de entidades semelhantes a vírus encontrada no intestino humano

2024-12-30
Nova classe de entidades semelhantes a vírus encontrada no intestino humano

Pesquisadores descobriram uma classe completamente nova de objetos semelhantes a vírus no sistema digestivo humano, apelidados de 'Obeliscos'. Essas estruturas de RNA, com aproximadamente 1.000 nucleotídeos de comprimento, são diferentes de quaisquer vírus conhecidos e podem representar uma entidade biológica totalmente nova, potencialmente unindo a lacuna evolutiva entre moléculas genéticas simples e vírus complexos. Encontrados em microbiomas humanos, os Obeliscos codificam uma proteína nova chamada 'Oblins', mas seu impacto nas células hospedeiras e seu mecanismo de transmissão permanecem desconhecidos. Essa descoberta abre novas e empolgantes vias para a pesquisa em ciências da vida.

Filósofo desafia a convenção: Termostatos têm consciência?

2024-12-30
Filósofo desafia a convenção: Termostatos têm consciência?

O filósofo David Chalmers, em seu livro *A Mente Consciente*, propõe uma ideia radical: até mesmo termostatos simples podem possuir experiência consciente. Ele argumenta que a consciência não é exclusiva de sistemas complexos, mas uma propriedade fundamental ligada ao processamento de informações. De humanos a ratos a termostatos, a complexidade da consciência pode diminuir com a diminuição da capacidade de processamento de informações, mas não desaparece necessariamente. Embora um termostato tenha apenas estados de informação simples, sua experiência correspondente pode ser tão simples e primitiva quanto o preto, o branco e o cinza. Essa visão desafia as compreensões tradicionais da consciência, levando a uma reevaluación de sua natureza fundamental.

Pincites Contrata Engenheiros de IA e Frontend

2024-12-30
Pincites Contrata Engenheiros de IA e Frontend

A startup de IA Pincites, do YC S23, está contratando engenheiros experientes de back-end e IA aplicada, além de engenheiros de front-end. A Pincites desenvolveu um assistente de negociação de contratos com IA integrado ao Microsoft Word, ajudando as equipes jurídicas a revisar e revisar contratos mais rapidamente. A empresa está em rápido crescimento, dobrando sua receita nos três primeiros meses de 2024 e está em um ponto de inflexão. Os fundadores têm experiência em grandes escritórios de advocacia, grandes empresas de tecnologia e startups de alto crescimento.

IA

Busca reversa de vídeo: A abordagem da Mixpeek para busca de similaridade de vídeo

2024-12-30
Busca reversa de vídeo: A abordagem da Mixpeek para busca de similaridade de vídeo

A Mixpeek oferece busca reversa de vídeo, permitindo que os usuários consultem vídeos em um banco de dados vetorial usando um clipe de vídeo. Semelhante à busca reversa de imagens, essa tecnologia usa um vídeo como entrada para encontrar vídeos semelhantes. O artigo detalha o processo de incorporação de vídeos, pesquisa e comparação de resultados usando a API da Mixpeek. Os aplicativos discutidos incluem criação de conteúdo, monitoramento de mídia, comércio eletrônico e vigilância de segurança. A Mixpeek também fornece processamento automatizado e integração de banco de dados para maior eficiência.

Confusão de Identidade em LLMs: Uma Crise de Confiança Emerge

2024-12-30
Confusão de Identidade em LLMs: Uma Crise de Confiança Emerge

Um estudo recente revela a disseminação de "confusão de identidade" em Modelos de Linguagem Grandes (LLMs). Os pesquisadores descobriram que mais de 25% dos LLMs apresentam deturpação de suas origens ou identidades, principalmente devido a alucinações do modelo, em vez de replicação ou reutilização. Essa confusão de identidade erode significativamente a confiança do usuário, especialmente em tarefas críticas como educação e uso profissional, superando o impacto negativo de erros lógicos. As descobertas destacam os riscos sistêmicos apresentados pela confusão de identidade de LLM e pedem maior atenção à confiabilidade e credibilidade do modelo.

Estrutura KAG: Uma estrutura de raciocínio e recuperação aumentada por conhecimento

2024-12-30
Estrutura KAG: Uma estrutura de raciocínio e recuperação aumentada por conhecimento

KAG é uma estrutura de raciocínio lógico e perguntas e respostas baseada no mecanismo OpenSPG e modelos de linguagem grandes, usada para construir soluções de raciocínio lógico e perguntas e respostas factuais para bases de conhecimento de domínio profissional. Ela supera efetivamente as deficiências do cálculo de similaridade vetorial RAG tradicional, suportando raciocínio lógico e perguntas e respostas factuais de múltiplos saltos, e superando métodos atuais de ponta. Os recursos principais do KAG incluem uma estrutura de indexação mútua de conhecimento e fragmentos, alinhamento de conhecimento usando raciocínio semântico conceitual, construção de conhecimento com restrições de esquema e raciocínio e recuperação híbridos guiados por forma lógica.

OpenAI busca financiamento maciço em meio a preocupações com bolha

2024-12-29
OpenAI busca financiamento maciço em meio a preocupações com bolha

O conselho da OpenAI anunciou recentemente a necessidade de financiamento adicional substancial para navegar na competitiva paisagem da IA. O artigo argumenta que, embora a OpenAI atualmente tenha a melhor experiência do usuário para chatbot de IA, a falta de uma trincheira tecnológica posiciona a empresa no epicentro de uma bolha de investimento. O autor traça paralelos entre a OpenAI e a Netscape na década de 1990, sugerindo que a IA generativa se tornará uma tecnologia commoditizada, tornando difícil estabelecer uma vantagem competitiva duradoura. Apesar de ter obtido um financiamento maciço, a transição da OpenAI de uma organização sem fins lucrativos para uma empresa com fins lucrativos permanece incerta, e sua busca contínua por enormes capitais levanta preocupações semelhantes a um esquema de Ponzi.

Crise de Ética na Tecnologia: As Big Techs Estão Fazendo o Bem?

2024-12-29

Moshe Y. Vardi, professor da Rice University, reconsidera sua posição anterior sobre a crise de ética na tecnologia. Inicialmente acreditando que leis e regulamentos eram suficientes para lidar com os impactos negativos da computação, ele agora argumenta que existe uma verdadeira crise ética, dada o crescente poder das grandes empresas de tecnologia e as questões éticas inerentes aos seus modelos de negócios. Ele questiona a ética de trabalhar para as Big Techs, instando os trabalhadores de tecnologia a considerarem o equilíbrio entre o interesse próprio e o bem público, e a se referirem ao Código de Ética da ACM, enfatizando o apoio ao bem público. O artigo discute casos como o Uber, ilustrando como os funcionários, mesmo sem saber, podem participar de práticas antiéticas. Em última análise, Vardi conclui que a indústria de tecnologia precisa de uma séria autorreflexão para abordar seus dilemas éticos.

LLMs conseguem recordar a Bíblia com precisão?

2024-12-29
LLMs conseguem recordar a Bíblia com precisão?

Este artigo investiga a capacidade dos Grandes Modelos de Linguagem (LLMs) de recordar com precisão as escrituras bíblicas. O autor elaborou seis testes para avaliar a capacidade de diferentes tamanhos de LLMs de reproduzir com precisão os versículos. Os modelos maiores (Llama 405B, GPT 4o e Claude Sonnet) tiveram o melhor desempenho, recordando com precisão versículos e até capítulos inteiros. Os modelos menores (faixa de 7B de parâmetros) frequentemente misturavam traduções ou apresentavam texto alucinado. Os modelos de tamanho médio (faixa de 70B) geralmente preservavam o significado, mas muitas vezes misturavam traduções ou faziam paráfrases ligeiras. O autor conclui que, para citações bíblicas precisas, os modelos maiores são preferíveis, complementados pela verificação com uma Bíblia real.

Avanço na Complexidade Espacial Ótima para Estimativa de Momentos de Frequência

2024-12-29

Um artigo de Mark Braverman e Or Zamir prova um limite inferior de espaço ótimo de Ω(log(nε²)/ε²) para estimar momentos de frequência, onde ε = Ω(1/√n). Esta pesquisa resolve um problema de longa data na complexidade computacional, combinando o limite superior clássico de Alon-Matias-Szegedy em uma determinada faixa. Para valores menores de ε, o artigo também introduz um algoritmo aprimorado que refina ainda mais a complexidade espacial da estimativa de momentos de frequência. Essa descoberta inovadora fornece orientação teórica crucial para o processamento de dados de fluxo e o design de algoritmos.

Mudança Global na Felicidade: Jovens Agora São os Menos Felizes

2024-12-29
Mudança Global na Felicidade: Jovens Agora São os Menos Felizes

Um estudo global inovador revela uma surpreendente inversão na curva em U de felicidade de longa data ao longo da vida. Anteriormente, a meia-idade era associada aos menores níveis de felicidade, mas agora os jovens adultos são os menos felizes. Analisando milhões de pontos de dados de 82 países, os pesquisadores descobriram uma queda acentuada no bem-estar entre os jovens, particularmente as mulheres jovens, a partir de 2017. Essa mudança se reflete não apenas nas pontuações de felicidade, mas também no aumento da ansiedade, depressão e taxas de suicídio. Os pesquisadores enfatizam que isso não é apenas um fenômeno americano, mas uma tendência mundial que requer mais investigação de suas causas subjacentes.

4 GPUs 4090: Treinando seus próprios LLMs localmente

2024-12-28
4 GPUs 4090: Treinando seus próprios LLMs localmente

Um entusiasta de IA construiu um equipamento local para treinar modelos de linguagem amplos (LLMs) usando quatro GPUs NVIDIA 4090, custando cerca de US$ 12.000. Essa configuração pode treinar modelos de até 1 bilhão de parâmetros, embora tenha um desempenho ideal com cerca de 500 milhões. O artigo detalha a seleção de hardware (placa-mãe, CPU, RAM, GPUs, armazenamento, PSU, gabinete, resfriamento), o processo de montagem, a configuração de software (SO, drivers, frameworks, kernel personalizado), o treinamento do modelo, otimização e manutenção. As dicas incluem o uso do patch de kernel de George Hotz para comunicação P2P em GPUs 4xxx. Embora destaque os benefícios do treinamento local, o autor reconhece a relação custo-benefício das soluções em nuvem para algumas tarefas.

Anki com IA: Revolucionando o aprendizado médico

2024-12-28
Anki com IA: Revolucionando o aprendizado médico

AnkiAIUtils é um conjunto de ferramentas com IA projetadas para aprimorar flashcards do Anki. Usando modelos como ChatGPT, DALL-E e Stable Diffusion, ele gera automaticamente explicações, mnemônicos, ilustrações e recursos de aprendizagem adaptativa. As ferramentas combinam dinamicamente exemplos relevantes com base no progresso de aprendizagem, criam ganchos de memória personalizados e oferecem suporte a vários provedores e modelos de LLM. Embora ainda esteja em seus estágios iniciais, este projeto demonstra um imenso potencial para transformar a educação médica e a aprendizagem além disso.

Análise de Malware Norte-Coreano: Desvendando um Ciberataque Furtivo

2024-12-28
Análise de Malware Norte-Coreano: Desvendando um Ciberataque Furtivo

Pesquisadores de segurança descobriram uma campanha de ciberataque atribuída a APTs da Coreia do Norte. A campanha utilizou um malware disfarçado como um desafio de candidatura a emprego (BeaverTail) para atrair vítimas. O BeaverTail, surpreendentemente pouco ofuscado, rouba informações de carteiras de criptomoedas de navegadores e baixa um malware de segunda etapa, o InvisibleFerret. O InvisibleFerret exfiltra ainda mais dados do navegador, informações da área de transferência e atua como um Cavalo de Tróia de Acesso Remoto (RAT). A análise do BeaverTail e do InvisibleFerret revelou uma estrutura de código simplista, porém com capacidades eficazes para roubar informações de vários navegadores e sistemas operacionais. Este caso destaca a persistência e o sigilo das ameaças cibernéticas da Coreia do Norte.

Guerra dos mecanismos de busca com IA: OpenAI pode desafiar a dominação do Google?

2024-12-28
Guerra dos mecanismos de busca com IA: OpenAI pode desafiar a dominação do Google?

O autor compara os resultados de busca do Google a um 'piquenique infestado de moscas', repleto de anúncios e conteúdo gerado por IA, tornando difícil para os usuários encontrarem rapidamente o que precisam. A resposta do Google de adicionar mais informações, argumenta o autor, é contraproducente, perdendo a simplicidade e facilidade de uso que definiram seu sucesso inicial. Em contraste, a pesquisa ChatGPT da OpenAI prioriza a simplicidade e a confiança do usuário, fornecendo uma única resposta em um formato conversacional, semelhante à recomendação de um amigo. No entanto, ainda precisa resolver o problema das 'alucinações' de IA. Em última análise, o sucesso da OpenAI em desafiar a dominação do mecanismo de busca do Google depende de manter os valores essenciais do seu produto e evitar os erros do Google.

Números se parecem com folhas na teoria dos conjuntos

2024-12-28
Números se parecem com folhas na teoria dos conjuntos

Ao aprender a teoria dos conjuntos ZFC, o autor descobriu que a representação gráfica dos números naturais usando ordinais de Von Neumann, quando renderizada usando um layout de gráfico direcionado por força, surpreendentemente se assemelha a folhas. O artigo detalha a definição recursiva dos ordinais de Von Neumann e sua estrutura em árvore, mostrando visualmente como os números de 0 a 16 assumem uma forma semelhante a folhas. O autor conclui questionando se essa forma de 'folha' é inerente à estrutura dos próprios ordinais de Von Neumann e planeja investigar a representação teórica dos conjuntos de números racionais.

Explicando decisões de modelos de linguagem grandes usando valores de Shapley

2024-12-28
Explicando decisões de modelos de linguagem grandes usando valores de Shapley

Modelos de linguagem grandes (LLMs) oferecem possibilidades empolgantes para simular o comportamento humano, mas seus processos de tomada de decisão carecem de transparência. Este artigo apresenta uma nova abordagem baseada em valores de Shapley para interpretar o comportamento de LLMs e quantificar a contribuição de cada componente de prompt para a saída do modelo. Por meio de dois casos de aplicação, o estudo revela que as decisões de LLM são suscetíveis a "ruído de token", onde o modelo reage desproporcionalmente a tokens com conteúdo informativo mínimo. Isso levanta preocupações sobre a robustez e a generalização de insights de LLMs na simulação de comportamento humano, destacando a necessidade de engenharia cuidadosa de prompts e uma compreensão mais matizada de suas limitações quando usados em pesquisa.

Queijo Camembert Pode Melhorar o Declínio Cognitivo

2024-12-27
Queijo Camembert Pode Melhorar o Declínio Cognitivo

Um novo estudo descobriu que as amidas de ácidos graxos presentes no queijo Camembert podem melhorar o declínio cognitivo em camundongos. Os pesquisadores usaram o teste de reconhecimento de objetos e descobriram que a administração oral de queijo Camembert melhorou o declínio cognitivo induzido por uma dieta rica em gordura. Investigações posteriores revelaram que a miristamida (MA), uma amida de ácido graxo produzida durante a fermentação do queijo Camembert, melhorou o declínio cognitivo, enquanto sua contraparte não amida, o ácido mirístico, não o fez. Isso sugere que a amidação de ácidos graxos pode ser crucial para essa atividade fisiológica. Além disso, a MA aumentou a expressão do fator neurotrófico derivado do cérebro (BDNF) no hipocampo.

Vislumbres sobre a Estrutura de Incorporações Neurais

2024-12-27
Vislumbres sobre a Estrutura de Incorporações Neurais

Este artigo explora a estrutura das incorporações (espaços latentes) produzidas por redes neurais profundas. Vários hipóteses-chave são resumidas: a Hipótese da Variedade (dados de alta dimensão residem em uma variedade de baixa dimensão); Organização Hierárquica (as características se organizam hierarquicamente entre as camadas); Hipótese Linear (as redes neurais representam características como direções lineares em seu espaço de ativação); Hipótese de Superposição (as redes neurais representam mais características independentes do que uma camada possui neurônios); Hipótese de Universalidade (os circuitos reaparecem em diferentes modelos para os mesmos dados); Vulnerabilidade Adversarial (pequenas mudanças na entrada causam grandes mudanças na incorporação); e Colapso Neural (após o treinamento, as características da classe se agrupam firmemente em torno de suas médias). Essas hipóteses coletivamente iluminam a complexidade e as limitações potenciais das incorporações de redes neurais profundas.

Arbital Fecha as Portas: Fim de Organização de Pesquisa em Segurança de IA

2024-12-27

A Arbital, uma organização focada em pesquisa de segurança de IA, anunciou recentemente seu fechamento. Essa notícia causou impacto na comunidade de segurança de IA. Conhecida por sua pesquisa rigorosa e perspectivas inovadoras, o fechamento da Arbital representa uma perda significativa para o campo. Embora a Arbital não tenha divulgado publicamente os motivos de seu fechamento, especialistas do setor especulam que pode estar relacionado a problemas de financiamento ou uma mudança na direção da pesquisa. O fechamento da Arbital serve como um lembrete dos muitos desafios que a pesquisa de segurança de IA enfrenta, exigindo mais recursos e esforços contínuos.

Sonhos lúcidos: Uma nova ciência para tratar insônia e pesadelos

2024-12-27
Sonhos lúcidos: Uma nova ciência para tratar insônia e pesadelos

Cientistas estão explorando o potencial de induzir sonhos lúcidos para tratar insônia e pesadelos. Sonhos lúcidos, o estado de estar ciente de que você está sonhando enquanto dorme, podem ser aprendidos por meio de treinamento, permitindo o controle do conteúdo do sonho e até mesmo a comunicação com o mundo acordado. Os pesquisadores estão usando neuroimagem e dispositivos vestíveis para entender a atividade cerebral durante sonhos lúcidos e induzi-los por meio de estímulos externos, com o objetivo de melhorar a qualidade do sono e reduzir pesadelos. Esta pesquisa oferece novas vias promissoras para o tratamento de distúrbios do sono e problemas de saúde mental.

IA atual: um beco sem saída?

2024-12-27
IA atual: um beco sem saída?

O Professor Eerke Boiten, da De Montfort University Leicester, argumenta que os sistemas de IA atuais baseados em grandes redes neurais, como o ChatGPT, são inadequados para aplicações críticas devido à sua complexidade inerente e imprevisibilidade. Esses sistemas carecem de gerenciabilidade, transparência e responsabilização; seu comportamento é emergente em vez de composicional, tornando a verificação e a correção de erros eficazes difíceis. Boiten sugere que a direção atual do desenvolvimento da IA pode ser um beco sem saída, defendendo redes neurais composicionais ou abordagens híbridas que combinam raciocínio simbólico para construir sistemas de IA mais confiáveis.

Harper, apoiada pela YC, procura Engenheiro de IA fundador para revolucionar o mercado de seguros de US$ 100 bilhões+

2024-12-27
Harper, apoiada pela YC, procura Engenheiro de IA fundador para revolucionar o mercado de seguros de US$ 100 bilhões+

A Harper, uma corretora de seguros comerciais nativa de IA apoiada pela Y Combinator, está procurando um Engenheiro de IA fundador. A empresa visa revolucionar o mercado de seguros de excesso e superávit (E&S) de mais de US$ 100 bilhões usando IA, automatizando processos que levam semanas em processos instantâneos. O candidato ideal possui vasta experiência com a pilha moderna de IA/ML, prospera em iterações rápidas e entende segurança e confiabilidade de IA. A Harper oferece compensação competitiva e participação significativa, visando engenheiros ansiosos para construir e possuir um produto revolucionário, não apenas maximizar o salário.

IA

Construindo Produtos de IA: Um mergulho profundo na arquitetura de back-end

2024-12-27

Este artigo detalha a jornada de uma equipe de IA na construção de um assistente Chefe de Gabinete com tecnologia de IA para líderes de engenharia. Inicialmente usando pipelines de inferência simples, eles fizeram a transição para um sistema multiagente à medida que o aplicativo crescia. O autor explica os princípios de design de agentes, as diferenças em relação aos microsserviços e a implementação orientada a objetos. A gestão de memória, incluindo CQRS e rastreamento de eventos, e o tratamento de eventos de linguagem natural são discutidos. A escalabilidade para 10.000 usuários envolveu particionamento, programação assíncrona, otimização de chamadas de LLM e migração para Temporal.

Godview: Uma Ferramenta Revolucionária de Geração de Imagens com IA

2024-12-27
Godview: Uma Ferramenta Revolucionária de Geração de Imagens com IA

Godview não é uma ferramenta comum de geração de imagens com IA. Ela quebra as limitações da tecnologia tradicional, gerando imagens incrivelmente detalhadas, realistas e de alta qualidade com base em descrições de texto fornecidas pelo usuário. Como um artista com uma visão de Deus, ela captura precisamente a intenção do usuário e a traduz em imagens impressionantes. Godview anuncia uma nova revolução na geração de imagens com IA, atendendo tanto a designers profissionais quanto a usuários comuns para criar obras de arte de tirar o fôlego.

1 2 41 42 43 45 47 48 49 50