IA quebra barreira e resolve enigma matemático sem solução há 87 anos

Um matemático de Harvard disse ter encontrado, com ajuda de IA, um contraexemplo que derruba a chamada Conjectura do Jacobiano, um problema formulado em 1939 e que virou "pedra no sapato" de gerações de pesquisadores. A parte que mais chamou atenção: a prova apareceu em uma única linha de matemática publicada no X - fácil de checar depois de pronta, mas misteriosa sobre como foi descoberta.

*Levent Alpöge publicou no X, em 19 de julho, que a Conjectura do Jacobiano é falsa e apresentou um contraexemplo curtíssimo (216 caracteres), segundo a New Scientist.

*A conjectura, proposta por Ott-Heinrich Keller em 1939, sugere (em termos bem simples) que um certo tipo de "regra matemática" que funciona indo pode também funcionar voltando - como se toda fechadura tivesse uma chave única no caminho inverso.

*O problema entrou numa lista famosa de 18 desafios difíceis para a matemática no século 21, organizada por Stephen Smale em 1998.

*Alpöge não detalhou o processo, mas escreveu que parte do trabalho foi feita com seu "amigo próximo fable", numa referência que parece apontar para o .

*Segundo Abhishek Saha, professor da Queen Mary University of London, muitos matemáticos já verificaram a linha publicada - o que reforça a ideia de que o "como chegou lá" é a grande pergunta agora.

*Saha também diz que o contraexemplo derruba a versão com três variáveis; uma versão com duas variáveis ainda poderia, em tese, continuar verdadeira.

*Esse caso mostra um tipo de "superpoder" bem específico da IA e uma evolução em algo que era o calcanhar de Aquiles da tecnologia: a matemática. Se modelos de há um ano apresentavam dificuldade de fazer somas, agora já auxiliam na resolução de problemas complexos.

*A IA ainda se destaca em ajudar a achar atalhos e contraexemplos em problemas onde o resultado final é simples de conferir, mas difícil de descobrir - como encontrar uma agulha num palheiro e depois dizer 'tá aqui'.

E teve mais isso...

1) Netflix diz que cerca de 300 títulos já usaram IA generativa em 2026

*A Netflix afirmou em seu relatório de resultados do 2º trimestre que aproximadamente 300 produções do catálogo usaram IA generativa em alguma etapa do processo neste ano, segundo a Variety.

*A empresa citou exemplos como a série indiana 'Glory', a minissérie brasileira 'Brasil 70: A Saga do Tri' e a docussérie 'The American Experiment', dizendo que a tecnologia ajudou a criar sequências complexas (como multidões e batalhas).

*O co-CEO Ted Sarandos afirmou que a empresa não quer usar IA para substituir profissionais criativos, e sim como ferramenta para melhorar o trabalho.

*A mensagem da Netflix é clara: IA entra como "efeito especial invisível" - se o público percebe menos, mas a produção entrega mais cenas e mais escala, a pressão para o resto do mercado adotar ferramentas parecidas tende a aumentar.

2) OpenAI prepara seu primeiro aparelho: uma "caixinha" sem tela, com voz e personalidade

*A OpenAI trabalha num alto-falante inteligente sem tela, fácil de carregar pela casa, pensado como um "companheiro" de IA, segundo a Bloomberg.

*O dispositivo deve controlar itens de casa conectada, tocar mídia, responder perguntas e mensagens e usar uma versão mais avançada do modo de voz do ChatGPT (GPT-Live), ainda de acordo com a Bloomberg.

*A Bloomberg relata que a OpenAI pretende anunciar o produto ainda em 2026 e lançar em 2027, mas o cronograma pode mudar por causa de disputas legais com a Apple.

*Depois do celular virar "a tela da vida", a aposta aqui é outra: uma IA que mora na casa e conversa o tempo todo. Isso pode ser prático - e também levanta a pergunta óbvia sobre privacidade quando um aparelho aprende com dados pessoais.

3) Meta negocia vender "força bruta" de IA para a Anthropic em acordo bilionário

*A Meta conversa com a Anthropic para alugar capacidade de computação de seus data centers, num acordo que poderia chegar a US$ 10 bilhões em dois anos, segundo o The New York Times.

*A ideia, se avançar, abriria uma nova linha de negócios para a Meta: vender "energia" de processamento para outras empresas de IA.

*O NYT cita o analista Mandeep Singh (Bloomberg Intelligence) dizendo que o preço da computação disparou por oferta limitada e demanda crescente.

*Se até rivais começam a negociar "aluguel de cérebro" (computação), é sinal de que o gargalo da IA não é só ter boas ideias - é ter máquina suficiente para rodar e treinar modelos sem estourar o orçamento.

4) Hugging Face relata invasão feita por "agente autônomo" de IA - e diz que se defendeu com IA

*A Hugging Face informou que detectou e respondeu a uma intrusão em parte de sua infraestrutura de produção e disse que o ataque foi conduzido de ponta a ponta por um sistema de agente autônomo de IA.

*Segundo a empresa, houve acesso não autorizado a um conjunto limitado de dados internos e a credenciais usadas por seus serviços; ela ainda avalia se dados de parceiros ou clientes foram afetados.

*A companhia afirmou não ter encontrado evidências de adulteração em modelos, datasets ou Spaces públicos, e disse que verificou a cadeia de software (imagens de contêiner e pacotes publicados) como limpa.

*O episódio coloca um problema bem prático na mesa: a mesma "automação" que ajuda empresas a trabalhar mais rápido também pode ajudar ataques a acontecerem em escala e velocidade de máquina - e isso muda o padrão mínimo de segurança esperado de plataformas de IA.

IAgora
Trump cogita proibir IA da China após modelos superarem empresas dos EUA

IAgora
IA da China já substitui dos EUA, mas Pequim pode copiar Trump em 'censura'

IAgora
'Temos poucos anos': o alerta grave de 200 economistas sobre impacto da IA

Dica de IA na prática: transforme chats em "especialistas"

Muita gente usa um único chat para tudo ou bão para de criar chats novos: faz uma pergunta sobre programação, depois pede uma receita, em seguida analisa um contrato e termina escrevendo um e-mail. O problema é que a conversa perde contexto rapidamente, e você acaba repetindo as mesmas instruções sempre.

Uma estratégia mais eficiente é manter um chat dedicado para cada área de interesse.

• Um chat para SEO, já com suas diretrizes, ferramentas e métricas favoritas.
• Outro para investimentos, contendo sua estratégia, perfil de risco e ativos que acompanha.
• Um terceiro para programação, com o stack tecnológico e padrões de código que você utiliza.
• Outro para escrita, sabendo seu estilo, público e formato preferido.

Sempre que iniciar um novo projeto, alimente esse chat com informações relevantes: documentos, exemplos, regras, glossários e preferências. Em vez de começar do zero, você passa a conversar com uma IA que já conhece aquele contexto.

Ao separar os assuntos, você reduz a necessidade de repetir instruções e evita que diferentes contextos se misturem. As respostas tendem a ficar mais consistentes, porque a IA consegue aproveitar o histórico daquela conversa para entender melhor suas preferências, terminologia e objetivos.

Na prática, é como montar uma equipe de especialistas. Em vez de chamar sempre o mesmo profissional para resolver qualquer problema, você conversa com um "especialista" diferente para cada tema. Essa simples organização melhora a qualidade das respostas e torna o uso da IA muito mais eficiente ao longo do tempo.

Reportagem

Texto que relata acontecimentos, baseado em fatos e dados observados ou verificados diretamente pelo jornalista ou obtidos pelo acesso a fontes jornalísticas reconhecidas e confiáveis.