Governador do RBI Malhotra afirma que apenas a inteligência artificial pode ajudar a limitar fraudes usando IA

Atualmente, o Microsoft Edge exige o uso de uma Conta Microsoft para sincronizar informações de navegação, tais como histórico, favoritos e senhas, entre diversos dispositivos. No entanto, em breve, os usuários terão a possibilidade de utilizar uma Conta Apple para realizar esse login.

Este desenvolvimento é visto como uma estratégia da Microsoft para atrair novos utilizadores para o seu navegador. O perfil Leopeva64, ativo na plataforma X, identificou que esta funcionalidade já está sendo testada tanto na versão beta do Microsoft Edge (versão 152.0.4191.10) quanto na versão Canary 153.0.4210.0, embora seja necessário ativá-la através da seção de recursos experimentais do navegador.

Ao ativar o recurso, a área de usuário do Microsoft Edge, localizada no canto superior direito, apresentará um campo de acesso para a Conta Microsoft, seguido por opções de autenticação que incluem a Conta Google e a Conta Apple.

A inclusão do login via Conta Google já era um recurso implementado recentemente no Edge, o que reforça a tendência de a Microsoft estar ampliando suas opções de acesso ao adicionar suporte à Conta Apple. O principal benefício dessa integração é possibilitar que os usuários tragam para o Edge dados gerados em outros navegadores, como senhas, histórico e favoritos provenientes do Safari ou do Chrome. Além disso, torna-se viável usar o Edge sem a obrigatoriedade de possuir uma Conta Microsoft.

Embora à primeira vista pareça uma decisão pouco intuitiva por parte da Microsoft, existe uma lógica estratégica: ao tornar as opções de login mais flexíveis no Edge, a empresa busca captar mais utilizadores ou, minimamente, diminuir a probabilidade de que estes migrem para soluções concorrentes. Atualmente, o Microsoft Edge encontra-se na versão 151, e estima-se que o login com Conta Apple faça parte da versão 152, agendada para a última semana de agosto.

Inicialmente, o recurso estará acessível tanto no Edge para sistemas Windows quanto para macOS, mas não deverá ser lançado nas versões móveis do navegador nesta fase inicial. Contudo, é importante notar que, mesmo nas versões definitivas, a disponibilização do recurso pode ocorrer de forma progressiva, chegando a certos usuários antes de outros. Isso ocorre porque, apesar de o login com Conta Google já ser oficial no Edge, uma parcela significativa dos usuários ainda não teve acesso a essa alternativa.

A SpaceXAI, divisão de inteligência artificial de Elon Musk, está introduzindo o Grok Bot, uma nova ferramenta projetada para realizar atividades profissionais utilizando múltiplos agentes de IA. Conforme reportado pela Bloomberg, este sistema possui a capacidade de acessar diversos websites e aplicativos, além de armazenar informações de trabalhos passados e compartilhar o contexto entre os bots.

Esta inovação reforça o esforço da companhia para se manter competitiva no mercado de agentes autônomos, acompanhando empresas como Anthropic e OpenAI. O Grok Bot não se limita apenas a responder perguntas; sua função principal é receber tarefas ao longo do dia e distribuí-las entre os agentes de IA, permitindo que eles troquem informações e mantenham o contexto necessário para finalizar cada atividade.

A funcionalidade da ferramenta inclui a entrada em diferentes plataformas online. Ao preservar os dados de execuções anteriores, ela impede que certas tarefas precisem ser reiniciadas do zero. Atualmente, a SpaceXAI já implementa esse produto internamente em suas equipes de engenharia, marketing e crescimento.

A estratégia da SpaceXAI visa simplificar a gestão de tarefas, coordenando um grupo de agentes de IA. Este lançamento faz parte da corrida da SpaceXAI para igualar o ritmo de concorrentes como Anthropic e OpenAI no setor de agentes de IA. Em maio, a empresa já havia apresentado seu primeiro agente focado em programação para competir com as ofertas da Anthropic.

Posteriormente, a empresa lançou o Grok 4.5, desenvolvido em colaboração com a Cursor. Esta startup de programação ganhou notoriedade durante a fase conhecida como 'vibe coding', impulsionada pela demanda por ferramentas que conseguem gerar e corrigir códigos. Em junho, a SpaceX concretizou um acordo de US$ 60 bilhões (aproximadamente R$ 310,2 bilhões) para adquirir a Cursor.

Além disso, a SpaceXAI tem planos de expandir seus produtos Grok para setores como bancos e empresas de investimento. Essa iniciativa visa incrementar a receita da área de IA e sustentar a meta de Musk de converter a SpaceX em uma corporação focada em inteligência artificial.

Mais informações:

Recentemente, durante uma teleconferência de resultados da SpaceX, Musk declarou que a empresa progredia significativamente em inteligência artificial. Ele também mencionou a possibilidade de o próximo modelo, o Grok 4.6, ser lançado ainda naquela mesma semana. O Grok Bot surge como mais uma iniciativa da SpaceXAI para integrar agentes de IA em rotinas empresariais práticas.

Um modelo de inteligência artificial não anunciado da Anthropic obteve progresso em um dos problemas matemáticos não resolvidos — a Hipótese de Riemann. Embora a IA tenha aumentado significativamente o limite inferior das soluções para as quais a hipótese é considerada verdadeira, uma prova definitiva ainda não foi encontrada.

O apelo deste resultado reside no método utilizado. Um funcionário da Anthropic, sem formação matemática significativa, pediu ao modelo para tentar provar a hipótese, permitindo que a IA coordenasse o trabalho por cerca de um dia e meio.

A Hipótese de Riemann é um dos maiores mistérios da matemática e está relacionada à distribuição dos números primos. Atualmente, há uma recompensa de 1 milhão de dólares americanos oferecida pelo seu provamento geral, o que equivale a aproximadamente 5,16 milhões de reais brasileiros.

Assim como outros sistemas de inteligência artificial, o sistema da Anthropic não conseguiu resolver definitivamente este problema. No entanto, o progresso alcançado demonstra que tais ferramentas são capazes de explorar problemas matemáticos complexos muito mais profundamente do que apenas fornecer respostas baseadas em conhecimentos existentes.

Todo o processo começou com um pedido direto do funcionário à IA para realizar uma 'tentativa de verdade' de provar a hipótese. Depois disso, o modelo começou a gerenciar a tarefa por aproximadamente 36 horas.

O trabalho incluiu um grande número de tentativas e verificações: trinta agentes secundários tentaram desenvolver novas ideias, mas não conseguiram encontrar abordagens originais. Outros 13 agentes foram designados para verificar os argumentos, e os dois últimos ajudaram a preparar a versão inicial do artigo.

Uma nota de rodapé no trabalho indica que 'dos 60 agentes secundários, dois foram responsáveis pelo desenvolvimento das principais ideias matemáticas'. O resultado foi confirmado por dois matemáticos da Anthropic e formalizado usando o Lean, um assistente de provas de código aberto.

Este caso faz parte de uma série de avanços relacionados aos grandes modelos de linguagem. Neste ano, vários sistemas de IA já ajudaram a resolver problemas de Erdős. Além disso, a Anthropic apresentou um trabalho refutando a antiga hipótese de Jacobi, enquanto a OpenAI divulgou dez resultados confirmados por seu modelo interno chamado Astra.

Saiba mais:

No entanto, a evolução gera controvérsias. Em junho, matemáticos expressaram preocupação sobre o impacto da IA nos princípios tradicionais da área, especialmente na ideia de que as provas devem ser atribuídas aos autores que assumem a responsabilidade por suas descobertas e sua correção.

O medalhista Fields Timothy Bowers apresentou uma visão diferente. Na sua opinião, a crescente presença da IA pode transformar a matemática de maneira mais complexa — e possivelmente positiva.

Bowers escreveu em seu blog: 'Se chegarmos a um mundo onde os teoremas matemáticos não forem mais associados a matemáticos, talvez não seja tão problemático quanto o fato de as estrelas não receberem nomes de astrônomos, e a maioria delas não ter nome algum.'

O caso da Anthropic mostra que a IA ainda não resolveu a Hipótese de Riemann, mas já é capaz de explorar caminhos que seriam difíceis de verificar manualmente em tal escala.