# Radar do FAROL · domingo, 19 de julho de 2026 15 notícias. Dados: https://radar.farolia.org/dados/dia/2026-07-19.json ## Modelos - **[Claude Fable 5 produz contraexemplo para a Conjectura de Jacobi](https://news.ycombinator.com/item?id=48973869)** (Modelos; hackernews). O matemático (e funcionário da Anthropic) Levent Alpöge anunciou no X que, junto com um colaborador e o Claude Fable 5, encontrou um contraexemplo concreto para a Conjectura de Jacobi — um dos problemas centrais em aberto da geometria algébrica desde 1939. O modelo teria achado um mapa polinomial em 3 dimensões com determinante jacobiano não nulo (-2) que ainda assim não é invertível, pois leva três pontos diferentes à mesma imagem. Explodiu no Hacker News (436 pts). Ressalva importante: até revisão por pares, a conjectura segue oficialmente em aberto, e modelos de fronteira continuam ferramentas de rascunho, não bancas de peer review. - **[Thinking Machines libera 'Inkling' (975B, open MoE multimodal) no Hugging Face](https://hf.co/thinkingmachines/Inkling)** (Modelos; huggingface). A Inkling, modelo open-weight de 975 bi de parametros (MoE multimodal, licenca Apache-2.0) da Thinking Machines de Mira Murati, esta no HF com 13,5K downloads e ja com GGUF pela unsloth. Trending score no topo do hub. - **[Qwen3.5 quantizado (9B, 1M de contexto) viraliza no Hugging Face](https://buttondown.com/agent-k/archive/llm-daily-july-15-2026/)** (Modelos; huggingface). Um modelo 9B fortemente quantizado (GGUF/compatível com llama.cpp) baseado no Qwen3.5 virou um dos mais adotados da semana no Hub (~3,9 mil likes, ~490 mil downloads). Chama atenção pela janela de 1M de tokens de contexto somada a function calling, suporte multimodal/visão, raciocínio e força alegada em tarefas de cibersegurança e biomédicas — tudo rodável localmente. - **[Tencent lança Hunyuan3: MoE esparso aberto sob Apache-2.0](https://buttondown.com/agent-k/archive/llm-daily-july-15-2026/)** (Modelos; huggingface). A Tencent publicou o Hunyuan3 (arquitetura hy_v3), um modelo de geração de texto com Mixture-of- Experts esparso, liberado sob licença permissiva Apache-2.0. Ainda com tração inicial modesta no Hub (~780 likes, ~10K downloads), mas relevante como mais um peso aberto de peso-pesado chinês entrando na disputa que vem pressionando os modelos fechados e o mercado de semicondutores. - **[Wan-Dancer-14B: modelo aberto de imagem-para-video guiado por musica (dance)](https://hf.co/Wan-AI/Wan-Dancer-14B)** (Modelos; huggingface). A Wan-AI publicou o Wan-Dancer-14B (Apache-2.0), um modelo de image-to-video com geracao de danca sincronizada a musica (music-to-dance), via diffusers. Paper arXiv 2607.09581. ## Ferramentas e código - **[Google expande AI Mode na Busca com acoes em Instacart, Canva e YouTube Music](https://www.buildfastwithai.com/blogs/ai-news-today-july-18-2026)** (Ferramentas e código; buildfastwithai). O Google expandiu o AI Mode na Busca (EUA) com integracoes de Instacart, Canva e YouTube Music, deixando a busca gerada por IA executar acoes em servicos de terceiros em vez de so responder perguntas. ## Pesquisa - **[CompactionRL: RL com 'context compaction' para agentes de longo horizonte](https://hf.co/papers/2607.05378)** (Pesquisa; arxiv). CompactionRL (Zhipu/Tsinghua) treina LLMs agenticos de longo horizonte com compactacao de contexto, otimizando conjuntamente a execucao da tarefa e a geracao de sumarios, com ganhos em coding (SWE-bench Verified, Terminal-Bench 2.0). ## Comunidade - **[Selloff de ações de IA: Big Tech pressionada a justificar o gasto](https://www.bloomberg.com/news/articles/2026-07-19/big-tech-needs-to-justify-ai-spending-as-investors-dump-stocks)** (Comunidade; bloomberg). A euforia de IA que levou o mercado às máximas há um mês está claramente arrefecendo. O índice de semicondutores da Filadélfia (SOX) caiu ~10% na semana — pior desde abril de 2025 —, com a Micron liderando as perdas (-13%, ~US$ 138 bi evaporados em uma sessão) e a Sandisk despencando 29%. Investidores questionam a duração e a magnitude do retorno do capex trilionário dos hyperscalers, agravado pela pressão de modelos abertos chineses (Kimi K3) e pelo anúncio do "Meta Compute" (venda de capacidade ociosa), que reescreve a equação oferta-demanda de infra. - **[Anthropic e Meta negociam acordo de ~US$ 10 bi de compute](https://www.cnbc.com/2026/07/17/anthropic-meta-ai-compute.html)** (Comunidade; cnbc). Anthropic estaria em conversas preliminares para alugar capacidade de compute da Meta em um acordo de ~US$ 10 bi, colocando a empresa na posicao de arrendar poder computacional de uma rival direta em modelos de fronteira. - **[Fireworks AI levanta US$ 1,5 bi (Series D) a US$ 17,5 bi para servir modelos abertos](https://www.cnbc.com/2026/07/16/fireworks-nvidia-cloud-ai-startup-value.html)** (Comunidade; cnbc). A Fireworks AI, que constroi infraestrutura de inferencia rapida e barata para modelos open-weight, fechou uma Series D de US$ 1,505 bi a US$ 17,5 bi de valuation, liderada por Atreides, Index e TCV, com Nvidia entre os investidores. - **[Hack na Suno expoe codigo-fonte e revela scraping massivo (2 mi+ de clipes do YouTube)](https://techcrunch.com/2026/07/15/hack-suggests-ai-music-generator-suno-scraped-youtube-for-training-data/)** (Comunidade; techcrunch). Uma invasao na geradora de musica por IA Suno expos codigo-fonte e revelou metodos de coleta de dados, incluindo alegacoes de que a empresa raspou milhoes de musicas de YouTube Music, Deezer e Genius para treinar seus modelos. Um arquivo apontava 2.013.545 clipes so do YouTube Music. - **[Onda de funding em humanoides: Humanoid (US$ 150M), Walden (US$ 300M), Microagi (US$ 55M)](https://www.buildfastwithai.com/blogs/ai-news-today-july-18-2026)** (Comunidade; buildfastwithai). Robotica humanoide segue atraindo capital enorme: a britanica Humanoid levantou US$ 150M a US$ 1,2 bi de valuation, a Walden Robotics US$ 300M e a alema Microagi uma seed de US$ 55M, tudo em torno de 17/07. - **[xAI e processada por material de exploracao infantil gerado pelo Grok](https://www.buildfastwithai.com/blogs/ai-news-today-july-18-2026)** (Comunidade; buildfastwithai). Uma acao judicial foi movida contra a xAI alegando que seu modelo Grok gerou imagens ilegais de abuso infantil, um dos desafios legais mais graves ja enfrentados por uma empresa de IA. Tema extremamente sensivel. - **[San Francisco ordena que Apple e Google removam 13 apps 'nudify](https://www.buildfastwithai.com/blogs/ai-news-today-july-18-2026)** (Comunidade; buildfastwithai). A cidade de San Francisco emitiu ordens de cease-and-desist para Apple e Google exigindo a remocao de 13 apps de IA que geram imagens intimas nao consentidas de pessoas reais. - **[Willison: 'a mania de IA está eviscerando a tomada de decisão global](https://simonwillison.net/2026/Jul/19/ai-mania/)** (Comunidade; simonwillison). Simon Willison destaca um argumento de que a "mania de IA" está corroendo a qualidade da tomada de decisão em governos e empresas — pressa em adotar, cortes justificados por promessas ainda não entregues, e substituição de julgamento humano por expectativas infladas. Contraponto útil (vindo de alguém pró-IA e técnico) ao otimismo dominante, e casa bem com o clima do selloff nos mercados.