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.
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