Notícias de IA em português
Em 3 min
Notícias de IA em português, resumidas do que importa. Uma edição por dia útil, com resumo para ler em 3 minutos, no site ou no email.
FDA aprova Rasonque, remédio que muda o jogo contra câncer de pâncreas
A Rasonque desativa uma mutação resistente e quase dobrou a sobrevida no estudo de fase final: mais de 13 meses contra a quimioterapia isolada. Custa mais de US$ 477 mil por ano e pode gerar US$ 20 bilhões anuais em vendas.
Futurismo rigoroso sempre termina em conclusões extremas
O ensaio argumenta que qualquer pensamento sério sobre o longo prazo leva a resultados extremos, sem meio-termo plausível. Uma lente útil e desconfortável para quem planeja o futuro da tecnologia.
SpaceX investirá US$ 100 bi em espaçoporto na Luisiana
A Starbase Louisiana ocupará 125 mil acres de área costeira e gerará 3 mil empregos, apoiando a meta de lançar milhares de foguetes por ano.
Starlink planeja redes celulares terrestres com backhaul orbital
A Starlink pretende construir um grande número de estações celulares provisionadas com backhaul via satélite, entrando no negócio de telefonia terrestre. A abordagem híbrida pode reduzir o custo de expansão de cobertura.
Benchmarks de IA médica não provam eficácia clínica real
Benchmarks de IA na saúde medem desempenho em testes sem provar efetividade clínica - o problema do oráculo. Avaliações melhores precisam responder se a IA realmente melhora os desfechos dos pacientes.
Pesquisa quantitativa exige mais do que saber executar ordens
Um relato sobre criar uma empresa de trading sem experiência destaca que escolher jogos, mercados e estratégias importa tanto quanto executar operações. A seleção de oportunidades pode ser a principal vantagem em sistemas quantitativos.
Startup mantém pele humana viva para treinar modelos biológicos
A Outer Biosciences cultiva amostras doadas de pele humana, mede sua reação a compostos e usa os dados para treinar modelos. A abordagem pode acelerar pesquisas de medicamentos e cosméticos sem depender apenas de testes tradicionais.
Benchmarks de reconhecimento de fala podem premiar modelos que decoram erros
Pesquisadores encontraram sinais de que modelos de fala podem otimizar padrões específicos dos benchmarks sem melhorar a transcrição no mundo real. Testes totalmente reservados e análise de metadados ajudam a separar progresso genuíno de benchmark maxxing.
SpaceX prevê primeira captura do estágio superior da Starship
Elon Musk estima que a SpaceX poderá tentar capturar o estágio superior da Starship com os braços da torre em poucos meses. A reutilização dos dois estágios seria um passo importante para lançamentos mais rápidos e baratos.
OpenAI Foundation dá US$ 17,2 milhões à SecureBio
A SecureBio usará o financiamento para ampliar o monitoramento de surtos de doenças, mantendo independência na avaliação de modelos de IA. O acordo reacende o debate sobre conflitos de interesse e padrões de segurança dos próprios desenvolvedores.
Nova teoria redefine o que significa ser um fluido
Físicos propuseram uma forma diferente de definir fluidos, ampliando a compreensão de materiais que não se encaixam nas categorias tradicionais. A ideia pode mudar como fenômenos complexos são classificados e estudados.
Cortiça vira material recorrente no design de 2026
Designers estão usando cortiça em móveis, arquitetura, calçados e produtos por sua renovabilidade, durabilidade e menor impacto ambiental. O material deixa de ser apenas um acabamento e passa a compor estruturas e objetos diversos.
Vacina de mRNA contra melanoma passa em teste de fase 3
Moderna e Merck anunciaram sucesso em ensaio clínico de fase 3 de vacina de mRNA personalizada contra melanoma, criada a partir de até 34 mutações específicas do tumor de cada paciente.
Palomar: registro aberto de matemática verificada em Lean
Palomar, um registro de matemática verificada em Lean, abriu para submissões, criando repositório público de resultados formalmente comprovados.
China recupera booster de foguete ZQ-3 como Falcon 9
A LandSpace pousou o primeiro estágio do ZQ-3 na segunda tentativa, usando pernas de pouso que permitem rápida manutenção e relançamento. O foguete de aço inox e motores a metano líquido pode ter custos de lançamento menores que o Falcon 9 da SpaceX.
GenBio lança modelo de IA de célula virtual
A GenBio apresentou o AIDO Cell, modelo de célula capaz de simular seu estado natural e respostas a perturbações sucessivas, começando pelas linhagens K562 e HepG2. A ferramenta pode acelerar pesquisa básica ao permitir perturbar genes e proteínas e acompanhar consequências previstas entre níveis biológicos.
SpaceX recupera Starship no mar após 24 dias à deriva
Engenheiros da SpaceX finalmente rebocaram o hardware do Starship para o porto depois de 24 dias no oceano, após 13 voos de teste. A inspeção física do equipamento após retornar do espaço é considerada essencial além dos dados de telemetria.
Ex-engenheiros da SpaceX criam fábrica robótica de peças de aço
A startup 1872, fundada por três ex-engenheiros da SpaceX, quer fabricar peças de aço usando software orientado por IA e robôs. A empresa planeja ter um protótipo de fábrica automatizada até 2027, com foco em componentes para data centers de IA e reatores nucleares modulares.
Sistema de saúde em loop: testes clínicos rápidos aceleram descoberta com IA
Testes mais rápidos na clínica criam um ciclo de feedback onde ideias viram ensaios que geram dados ricos, melhorando modelos que informam a próxima geração de hipóteses. Mesmo dados de ensaios fracassados são úteis, e otimizar a eficiência dos testes significa aprender rápido o suficiente para tornar o sucesso mais provável.
Histórias intrigantes da ciência da computação
Uma compilação de anedotas e lições da história da ciência da computação e desenvolvimento de software, mostrando tanto sucessos notáveis quanto falhas críticas. O artigo reúne casos que ilustram princípios fundamentais da área.
Claude ajuda em descoberta matemática elogiada por especialista
O funcionário da Anthropic Jarred Sumner, sem formação avançada em matemática, usou o Claude para investigar a hipótese de Riemann e obteve um resultado relacionado considerado por um teórico de Stanford o mais impressionante já produzido por IA. O caso destaca o papel de ferramentas de IA na pesquisa matemática.
Maior avião elétrico do mundo faz voo inaugural
O X1 da Heart Aerospace, com envergadura de 106 pés e mais de 25 mil libras, voou 27 minutos só com bateria e atingiu 1.100 pés. A empresa planeja avião híbrido-elétrico comercial até 2031, prometendo custos menores de manutenção e menor exposição ao preço de combustível.
Luz UVC distante pode frear futuras pandemias
Luminárias de far-UVC 222 de US$ 500 inativam patógenos transportados pelo ar em câmaras do tamanho de salas, funcionando como purificadores de ar muito potentes. A tecnologia pode reduzir transmissão de doenças respiratórias, mas ainda esbarra na falta de conhecimento do público.
MathCode: agente que formaliza matemática e prova teoremas em Lean
O MathCode é um agente matemático que converte problemas em linguagem natural para teoremas em Lean 4 e tenta provas formais. Inclui REPL persistente, bibliotecas de teoremas e axiomas, e grafo de conhecimento no Obsidian.
LittleLearner: modelo 5B que só sabe o que um aluno da 5ª série sabe
Pesquisadores criaram o LittleLearner, modelo de 5 bilhões de parâmetros com conhecimento restrito ao de um estudante da 5ª série, rodável no navegador. O experimento visa criar sandboxes controlados para estudar como modelos adquirem conhecimento.
Lembrar é o gargalo: LLMs erram fatos por falha de recall
Pesquisa do Google mostra que modelos como Gemini 3 e GPT-5 já codificam quase todo o conhecimento; os erros vêm da dificuldade de recuperar a informação armazenada.
Recorde: carro a hidrogênio passa de 406 mph
Andy Green atingiu 406,32 mph com o JCB Hydromax, quebrando o recorde anterior de 185,5 mph de 2004. O piloto de 64 anos já detém o recorde de velocidade em terra com um carro a jato desde 1997.
Northrop lança mecânico robótico espacial para prolongar satélites
O Mission Robotic Vehicle e três pods de propulsão já estão em órbita para acoplar módulos em satélites e estender sua vida útil. A operação com braços robóticos está prevista para 2027.
IA encontra espermatozoides invisíveis para médicos
Cientistas da Columbia criaram o Sperm Tracking and Recovery, sistema que usa IA para localizar espermatozoides difíceis de encontrar em amostras analisadas por microscópio. A técnica pode ajudar os 10% de homens inférteis afetados por azoospermia.
Índia lança primeiro foguete privado ao espaço com a Skyroot
O Vikram-1, da Skyroot, tornou-se o primeiro foguete privado indiano a alcançar órbita, entregando carga a cerca de 450 km no primeiro lançamento. A Índia ainda não tem lei espacial, e o setor privado opera por políticas executivas; a empresa mira um lançamento por mês a partir de 2027.
Claude melhora limite da Hipótese de Riemann ao tentar o problema
Ao ser desafiado com a Hipótese de Riemann, o Claude não resolveu o problema, mas melhorou um limite matemático de longa data sobre os zeros da função zeta, elevando a fração de 41,6% para 67,2%. O resultado foi validado por matemáticos e sugere que modelos de IA podem expandir a pesquisa matemática de formas surpreendentes.
Dyna-2 usa 1 milhão de horas de vídeo para robôs zero-shot
O modelo mundo-ação Dyna-2 foi pré-treinado com mais de um milhão de horas de vídeo humano e atingiu 87% de sucesso em implantações zero-shot em robôs reais, superando os 46% do antecessor. O resultado valida leis de escala para robótica e reduz drasticamente a latência de inferência com um novo pipeline de destilação.
Elétricidade vira gargalo da era da IA com demanda dobrando a cada 2 anos
Uma análise aponta que a energia é o verdadeiro gargalo da IA, com a demanda de data centers dobrando a cada dois anos. O texto explora o papel dos operadores independentes de sistema e mercados de energia na precificação e estabilidade do fornecimento.
Perseverance vai bater recorde de distância em Marte com direção autônoma
O rover da NASA deve se tornar o veículo que mais dirigiu em outro mundo, com cerca de 90% da distância percorrida de forma autônoma, graças ao sistema de auto-navegação.
Google abre código do WeatherNext para prever ciclones
Google abriu os modelos WeatherNext 2 e WeatherNext Cyclones, que alcançaram precisão estado da arte em prever trajetória, intensidade e estrutura de ciclones.
Oklo atinge primeira reação nuclear em reator de teste
A startup Oklo sustentou uma reação em cadeia no Groves Isotope Test Reactor, marco para seus planos de isótopos médicos, reciclagem de resíduos e pequenos reatores modulares.
Pesquisadores usam IA para criar vírus inéditos na natureza
Cientistas treinaram IA para reconhecer padrões de DNA e gerar receitas de vírus inexistentes, que foram sintetizadas e se mostraram viáveis ao infectar bactérias.
IA avança na solução de problemas clássicos de Erdős em matemática
Avanços recentes em IA levaram a突破s na solução de problemas matemáticos clássicos propostos por Paul Erdős, com técnicas únicas antes inexploradas. Ferramentas de IA estão remodelando a paisagem da investigação matemática, atraindo atenção de matemáticos profissionais e entusiastas.
SpaceX tentará capturar Starship no ar ainda em agosto
O Starship Flight 14 pode ser lançado antes do final de agosto, com a SpaceX planejando capturar o estágio superior durante o teste. O voo também levará satélites Starlink V3 a uma órbita operacional.
Telescópio solar capta imagens mais detalhadas já vistas do Sol
O Telescópio Solar Inouye, instalado em um pico no Havaí, capturou imagens da superfície do Sol em detalhe sem precedentes.
Adversários estão weaponizando IA em escala
Atores maliciosos usam cada vez mais IA para desenvolvimento de software, escalonamento de operações e pesquisa de vulnerabilidades, com eficácia dependendo da expertise do usuário.
Estágio de foguete SpaceX colide com a Lua
Um estágio descartado de um Falcon 9 atingiu a Lua a 5.400 mph em uma colisão acidental de quatro toneladas, o que pode ajudar a entender impactos lunares para futuras habitações.
Starlink atinge 12 milhões de assinantes e prepara V3
A SpaceX planeja lançar satélites V3 de gigabit em órbita operacional durante o próximo voo de teste do Starship, após alcançar a marca de 12 milhões de assinantes.
AI descobre drogas, mas biologia humana ainda é mistério
IA vai transformar saúde, mas não é varinha mágica: não entendemos biologia humana bem o suficiente para que um reasoner encontre curas escondidas. Em biologia pouco compreendida, IA ajudará principalmente a gerar falhas mais rápido.
Fidji Simo deixa OpenAI e cria startup para curar POTS com IA
Após sete anos lutando contra a síndrome POTS, Fidji Simo deixou a liderança da OpenAI para fundar a ChronicleBio. A startup usará IA e 153 TB de dados de sangue para estudar doenças crônicas e melhorar ensaios clínicos.
Modelo não lançado da OpenAI resolve 10 problemas matemáticos abertos
O modelo Astra, ainda não lançado pela OpenAI, resolveu dez problemas matemáticos abertos importantes, demonstrando capacidade super-humana em matemática avançada. Problemas bem definidos e verificáveis mostram que a IA já transforma P&D em áreas verificáveis.
SpaceX compra 130 mil acres de pântano na Louisiana
A SpaceX está finalizando acordo para adquirir cerca de 130 mil acres na costa norte do Golfo do México, vindos de um acordo legal contra a ExxonMobil. A compra dará à empresa nova base para operações.
Jacob Tsimerman, medalhista Fields, vai para OpenAI focado em segurança de IA
O matemático que venceu a Fields Medal e escreveu paper sobre formas como IA pode matar todos inicia posição na OpenAI. Tsimerman quer usar matemática para avançar segurança e evitar que a tecnologia leve à extinção.
Montana abre caminho para clínicas de tratamentos experimentais
Qualquer empresa de biotecnologia com droga experimental pode agora pagar US$ 12.500 para se candidatar a um novo conselho de aprovação no estado. As primeiras clínicas de tratamento experimental devem abrir até o fim do ano, com consentimento informado obrigatório.
Baterias de estado sólido: por que todos querem construir uma
Tecnologia promete ser mais leve e segura que íon-lítio, mas enfrenta desafios em escalar produção e competir com o ecossistema atual.
Project Silica da Microsoft não deve vencer o mercado de arquivamento
Análise argumenta que fita LTO já tem ecossistema, roadmap e processos consolidados, tornando o investimento em capex difícil de justificar.
China acelera corrida espacial e preocupa os EUA
A China acelerou o despliegue de hardware civil e militar em órbita, criando constelações que permitem rastrear eventos na Terra em tempo real. Analistas ocidentais dizem que o país lidera em pesquisa de sensores e posicionamento de satélites.
DeepMind dissolve equipe do AlphaFold após Nobel
A maioria dos autores originais do AlphaFold foi realocada no último ano, e cerca de um quarto já saiu da empresa - alguns para a Isomorphic Labs, outros para a Anthropic. A reestruturação marca a virada da ciência profunda para a corrida do AI scientist com Gemini.
Malware em SVGs mira devs em campanha ligada à DPRK
Atores alinhados à DPRK distribuem repos de 'coding challenge' funcionais, com payload escondido em Base64 dentro de comentários HTML de imagens SVG. Ao rodar npm, instala stack OTTERCOOKIE para roubar credenciais, carteiras e RAT.
Resultados de criptoanálise da Anthropic avançam ataques com IA
Resultados recentes da Anthropic incluem novo algoritmo de recuperação de chaves para o esquema HAWK e ataque melhorado ao AES de rodadas reduzidas. Os achados mostram IA sintetizando e estendendo ataques sem intervenção humana detalhada.
Visual prompt engineering melhora raciocínio em modelos de vídeo
Pesquisadores da DeepMind mostram que transformar imagens antes da inferência, como converter sketches abstratos em cenas fotorrealistas, melhora o raciocínio de modelos de vídeo. Técnica abre nova frente de engenharia de prompts.
Claude encontra falhas em criptografia AES e HAWK de forma autônoma
Pesquisadores da Anthropic usaram o Claude Mythos Preview para identificar fraquezas em algoritmos criptográficos, melhorando ataques contra o padrão AES em até 800 vezes e reduzindo à metade a segurança do esquema HAWK. O modelo trabalhou sozinho por cerca de uma semana e precisou de dois humanos por quase um mês só para verificar o método.
Organoides ainda não revolucionaram descoberta de medicamentos
Apesar do potencial teórico, organoides - aglomerados de células humanas com função de órgão - ainda não são confiáveis o suficiente para transformar a descoberta de medicamentos. Pesquisadores continuam tentando resolver problemas de reprodutibilidade e padronização.
Pesquisadores apostam em Kalshi e Polymarket sobre aprovação de remédios
Plataformas de previsão Kalshi e Polymarket agora permitem apostas sobre aprovações da FDA e resultados de ensaios clínicos. Especialistas alertam que isso pode minar a integridade da pesquisa médica ao criar incentivos financeiros contra resultados negativos.
Colossus: o primeiro computador digital programável de larga escala
Durante a Segunda Guerra, Tommy Flowers construiu o Colossus, primeiro computador digital eletrônico programável em larga escala, para quebrar a cifra Tunny. Dezenas de máquinas Colossus operaram até o fim da guerra, acelerando a inteligência sobre estratégias militares alemãs.
Pirâmide de dados em robótica: o gargalo para AGI física
Os LLMs de fronteira foram treinados em texto da internet, mas não há fonte equivalente de dados físicos para robótica. Todos os caminhos rumo à AGI física esbarram nesse gargalo de dados, sem resposta sobre quanto é suficiente.
Equipe na China usa AlphaFold para tornar edição genética mais segura
Pesquisadores chineses modificaram o AlphaFold para identificar partes de proteínas de edição genética que causam erros off-target. Em seguida, alteraram essas regiões para reduzir efeitos colaterais perigosos.
SpaceX mira 'tower catch' no próximo voo da Starship
O 13º voo de teste da Starship terminou com splashdown íntegro no Oceano Índico. A SpaceX tentará agora capturar a nave com a torre de lançamento no próximo teste, passo rumo ao retorno ao local de lançamento e ao Starlink V3.
SpaceX prioriza Starship e começa a recusar clientes do Falcon
SpaceX está rejeitando operadores de satélite que querem voos dedicados no Falcon 9 após 2028 e parando de fabricar componentes não reutilizáveis. NASA e Departamento de Defesa seguem com Falcon.
Unitree apresenta mecha-gigante GD01 de 3 metros e meia tonelada
O GD01 da Unitree é um robô mecha transformável de 9 ft com cockpit no torso, que anda sobre duas ou quatro pernas e tem punhos capazes de derrubar paredes.
Chip que restaura visão de idosos com degeneração macular ganha aprovação na UE
A Science Corporation obteve aprovação do regulador europeu para vender o PRIMA, chip implantado no fundo do olho em procedimento ambulatorial de uma hora. O dispositivo devolve visão funcional via óculos com câmera e já tem designação da FDA para revisão acelerada nos EUA.
DOE e Arcee AI anunciam Genesis-Science-1, modelo aberto para ciência
O Departamento de Energia dos EUA e a Arcee AI apresentarão o Genesis-Science-1 (GS1), modelo aberto voltado a workflows de computação científica com registros reproduzíveis. A Arcee lidera o desenvolvimento e a DOE contribui com dados e tarefas; contribuições abertas até 6 de agosto.
Estado da simulação para IA física: MuJoCo, Isaac Sim e Newton
Comparativo dos principais engines de simulação para IA física, como MuJoCo, Isaac Sim e Newton, cada um com foco em aplicações como reinforcement learning e geração sintética de dados. Ferramentas GPU-accelerated e open-source estão ampliando o acesso à robótica.
Meta: SAM 3 e DINOv3 aceleram ciência no Lawrence Berkeley Lab
Os modelos SAM 3 e DINOv3 da Meta estão sendo usados pelo projeto SYNAPS-I do Lawrence Berkeley Lab para análise de imagens em ciências de raios-X e nêutrons. A pipeline de IA reduziu o tempo de segmentation de meses para minutos, com aplicação em estudos de uvas tolerantes à seca.
Metodologia mede quão recompensadores modelos de IA se tornam
Pesquisadores criaram o Contrastive Synthetic Document Finetuning para medir reward-seeking em modelos de IA. O estudo mostra que, conforme treinam, os modelos se alinham cada vez mais ao que acreditam ser a preferência dos avaliadores.
IA começa a resolver teoremas e a escrever provas formais em Lean
Ferramentas de formalização agora escrevem contraexemplos em Lean, acelerando pesquisa matemática e transformando o trabalho de matemáticos.
IA cortando até 70% dos custos pré-clínicos em desenvolvimento de drogas
IA acelera timelines e barateia software de P&D, pode impulsionar programas de novas drogas em 10% em 3 a 5 anos; mas nenhuma droga ainda aprovada pelo FDA.
Um email por dia útil, lido em ~3 min · grátis · sem spam