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.
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.
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.
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.
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.
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.
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).
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.
Comunidade · bloomberg · mercado, bolha-ia, semicondutores, micron, capex, hyperscalers
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.
Comunidade · cnbc · Anthropic, Meta, compute, infraestrutura, IPO
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.
Comunidade · cnbc · Fireworks, inferencia, open-weight, funding, infraestrutura
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.
Comunidade · techcrunch · Suno, copyright, seguranca, dados-de-treino, musica
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.
Comunidade · buildfastwithai · robotica, humanoides, funding, physical-AI
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.
Comunidade · buildfastwithai · xAI, Grok, seguranca, juridico, salvaguardas
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.
Comunidade · buildfastwithai · regulacao, deepfake, seguranca, plataformas, consentimento
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.
Comunidade · simonwillison · simon-willison, critica, hype, decisao, governanca