Descubra ferramentas de qualidade de qualidade
Reunir as principais ferramentas de inteligência artificial do mundo para ajudar a melhorar a eficiência do trabalho
Artigos publicados por AveryThomas
O Claude da Anthropic concluiu autonomamente a primeira prova formal verificada por computador do Último Teorema de Fermat usando Lean. Durante 11 dias, a IA gerou 13 milhões de linhas de código e 30.300 teoremas por meio de colaboração entre múltiplos agentes. O sistema formalizou a prova de Andrew Wiles de 1995, que foi então verificada pelo Lean utilizando apenas três axiomas. Este marco demonstra a capacidade da IA para formalização matemática em larga escala, potencialmente reduzindo os custos de verificação manual e estabelecendo um novo padrão para combinar supervisão humana com geração automatizada de provas.
O Claude da Anthropic concluiu autonomamente a primeira prova formal verificada por computador do Último Teorema de Fermat usando Lean. Durante 11 dias, a IA gerou 13 milhões de linhas de código e 30.300 teoremas por meio de colaboração entre múltiplos agentes. O sistema formalizou a prova de Andrew Wiles de 1995, que foi então verificada pelo Lean utilizando apenas três axiomas. Este marco demonstra a capacidade da IA para formalização matemática em larga escala, potencialmente reduzindo os custos de verificação manual e estabelecendo um novo padrão para combinar supervisão humana com geração automatizada de provas.
A Reuters relata que a divisão de IA do Google enfrentou grandes turbulências nos últimos meses. O cofundador Sergey Brin voltou para supervisionar diretamente o treinamento dos modelos, assumindo de forma informal o controle das prioridades de desenvolvimento (incluindo a pressão por melhorias recorrentes), o que atrasou a próxima geração do Gemini em dois meses. Demis Hassabis teve seu cargo reduzido para presidente, com responsabilidades gerenciais menores, sendo substituído por Mustafa Kavukcuoglu, que agora reporta diretamente ao CEO do Google, Sundar Pichai, com o apoio de Brin, e atua como elo entre a DeepMind e o Google Cloud. Os líderes técnicos originais do Gemini, Jeff Dean e Oriol Vinyals, deixaram a empresa para fundar uma startup de IA focada na descoberta científica, o que gerou preocupações entre os funcionários quanto à perda de autonomia. Essas mudanças refletem a erosão contínua da independência da DeepMind desde sua aquisição pelo Google em 2014. A notícia fez com que as ações do Google caíssem 4% na hora da divulgação, e problemas persistentes como recursos de computação limitados e conflitos de liderança levantam dúvidas sobre o futuro da IA do Google.
A Reuters relata que a divisão de IA do Google enfrentou grandes turbulências nos últimos meses. O cofundador Sergey Brin voltou para supervisionar diretamente o treinamento dos modelos, assumindo de forma informal o controle das prioridades de desenvolvimento (incluindo a pressão por melhorias recorrentes), o que atrasou a próxima geração do Gemini em dois meses. Demis Hassabis teve seu cargo reduzido para presidente, com responsabilidades gerenciais menores, sendo substituído por Mustafa Kavukcuoglu, que agora reporta diretamente ao CEO do Google, Sundar Pichai, com o apoio de Brin, e atua como elo entre a DeepMind e o Google Cloud. Os líderes técnicos originais do Gemini, Jeff Dean e Oriol Vinyals, deixaram a empresa para fundar uma startup de IA focada na descoberta científica, o que gerou preocupações entre os funcionários quanto à perda de autonomia. Essas mudanças refletem a erosão contínua da independência da DeepMind desde sua aquisição pelo Google em 2014. A notícia fez com que as ações do Google caíssem 4% na hora da divulgação, e problemas persistentes como recursos de computação limitados e conflitos de liderança levantam dúvidas sobre o futuro da IA do Google.
A SafeBreach descobriu uma vulnerabilidade no assistente de voz Gemini da Google, chamada “Fake Context Alignment”. Os hackers exploram essa falha enviando mensagens enganosas por WhatsApp ou SMS, contendo confusão multilíngue ou links ocultos, para fazer com que o Gemini execute ações não autorizadas, como controlar dispositivos inteligentes ou alterar informações de contato. A Google corrigiu essa vulnerabilidade em novembro de 2024, atualizando o seu sistema de classificação de conteúdo.
A SafeBreach descobriu uma vulnerabilidade no assistente de voz Gemini da Google, chamada “Fake Context Alignment”. Os hackers exploram essa falha enviando mensagens enganosas por WhatsApp ou SMS, contendo confusão multilíngue ou links ocultos, para fazer com que o Gemini execute ações não autorizadas, como controlar dispositivos inteligentes ou alterar informações de contato. A Google corrigiu essa vulnerabilidade em novembro de 2024, atualizando o seu sistema de classificação de conteúdo.
A OpenAI lança uma versão prévia de uma ferramenta de finanças pessoais para assinantes do ChatGPT Pro nos EUA, integrando IA generativa à gestão financeira. Os usuários podem conectar contas bancárias via Plaid para análise de gastos e acompanhamento de carteiras, com tecnologia baseada no novo modelo GPT-5.5. O recurso prevê uma futura integração com a Intuit para análises avançadas, refletindo uma tendência mais ampla de grandes modelos especializados em aplicações verticais.
A OpenAI lança uma versão prévia de uma ferramenta de finanças pessoais para assinantes do ChatGPT Pro nos EUA, integrando IA generativa à gestão financeira. Os usuários podem conectar contas bancárias via Plaid para análise de gastos e acompanhamento de carteiras, com tecnologia baseada no novo modelo GPT-5.5. O recurso prevê uma futura integração com a Intuit para análises avançadas, refletindo uma tendência mais ampla de grandes modelos especializados em aplicações verticais.
Um novo modelo chinês de IA multimodal, o HappyHorse-1.0, lidera um importante teste de desempenho de conversão de texto em vídeo com uma pontuação de 1332, superando concorrentes como a ByteDance. Ele está vinculado ao TaoTian Group Future Life Lab, do Alibaba, agora sob a divisão ATH AI. A ascensão do modelo destaca a tecnologia avançada de geração de vídeo do Alibaba e uma mudança em direção a incubadoras internas de IA mais independentes, sinalizando uma competitividade global mais forte.
Um novo modelo chinês de IA multimodal, o HappyHorse-1.0, lidera um importante teste de desempenho de conversão de texto em vídeo com uma pontuação de 1332, superando concorrentes como a ByteDance. Ele está vinculado ao TaoTian Group Future Life Lab, do Alibaba, agora sob a divisão ATH AI. A ascensão do modelo destaca a tecnologia avançada de geração de vídeo do Alibaba e uma mudança em direção a incubadoras internas de IA mais independentes, sinalizando uma competitividade global mais forte.
O mercado de agentes de IA passa por uma rápida expansão em 2026, com mais de 20 produtos automatizados do tipo “claw”, com preços que variam de 19 a 899 yuans por mês, passando de assistentes para executores em nível de sistema. Três grupos emergem: o OpenClaw de código aberto com plug-ins para desenvolvedores, as ferramentas integradas ao ecossistema da Tencent e da ByteDance e os agentes nativos de hardware da Huawei/Xiaomi para controle de múltiplos dispositivos e de casas inteligentes. Alertas de segurança destacam riscos à privacidade e modelos de cobrança variáveis, recomendando cautela quanto aos custos de uso da API.
O mercado de agentes de IA passa por uma rápida expansão em 2026, com mais de 20 produtos automatizados do tipo “claw”, com preços que variam de 19 a 899 yuans por mês, passando de assistentes para executores em nível de sistema. Três grupos emergem: o OpenClaw de código aberto com plug-ins para desenvolvedores, as ferramentas integradas ao ecossistema da Tencent e da ByteDance e os agentes nativos de hardware da Huawei/Xiaomi para controle de múltiplos dispositivos e de casas inteligentes. Alertas de segurança destacam riscos à privacidade e modelos de cobrança variáveis, recomendando cautela quanto aos custos de uso da API.
A AgiBot lançou seu 10.000º robô de uso geral Expedition A3, marcando sua transição da pesquisa e desenvolvimento para a produção em massa no campo da IA incorporada. A empresa conseguiu multiplicar por dez sua produção em 15 meses, sinalizando um avanço significativo na ampliação da escala de robôs humanóides e na superação de importantes gargalos de abastecimento e fabricação
A AgiBot lançou seu 10.000º robô de uso geral Expedition A3, marcando sua transição da pesquisa e desenvolvimento para a produção em massa no campo da IA incorporada. A empresa conseguiu multiplicar por dez sua produção em 15 meses, sinalizando um avanço significativo na ampliação da escala de robôs humanóides e na superação de importantes gargalos de abastecimento e fabricação
A Tesla encerra seu projeto de supercomputador Dojo, essencial para a tecnologia de condução autônoma, com o líder Peter Bannon deixando a empresa e a equipe sendo realocada. A Tesla passa a usar Nvidia, AMD e Samsung para chips de IA, após um acordo de 16,5 bilhões de dólares com a Samsung.
A Tesla encerra seu projeto de supercomputador Dojo, essencial para a tecnologia de condução autônoma, com o líder Peter Bannon deixando a empresa e a equipe sendo realocada. A Tesla passa a usar Nvidia, AMD e Samsung para chips de IA, após um acordo de 16,5 bilhões de dólares com a Samsung.
