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.
Gemma 4 e BOTANIC-1 aceleram decodificação de DNA vegetal
A iniciativa Living Models combina o modelo da Google DeepMind com BOTANIC-1 para comprimir anos de pesquisa de genética de culturas em horas. É aplicação concreta de IA na agricultura.
Agentes de IA identificam candidatos a semicondutores à temperatura ambiente
Dois materiais antiferromagnéticos compensados por Luttinger foram propostos para memória spintrônica, mas um pode ser difícil de sintetizar e o outro ainda precisa de medição direta. A pesquisa mostra IA acelerando descoberta de materiais.
Claude calcula amplitude de nove loops em física teórica
Físicos da Anthropic usaram o modelo para resolver um cálculo de N=4 super-Yang-Mills antes considerado inviável com recursos limitados, alcançando resultados comparáveis aos humanos com mais eficiência e menos supervisão.
Google detalha Suncatcher, plano para colocar IA no espaço
A moonshot do Google realizou o primeiro teste de TPU em órbita e mapeia desafios de radiação, refrigeração e interconexões via satélite. Computação espacial poderia escalar IA além dos limites energéticos da Terra.
Claude descobre sistema enzimático inédito ligado a repetições de DNA
A Anthropic afirma que o Claude identificou de forma autônoma um sistema enzimático desconhecido, associado a características de sistemas genéticos programáveis como o CRISPR. É um marco na capacidade de modelos de IA fazerem descobertas científicas reais.
OpenAI cria grupo consultivo após modelo resolver problema do milênio
A OpenAI treinou um modelo interno que solucionou o problema de Navier–Stokes e mais de 100 desafios matemáticos em aberto. Um grupo consultivo independente com matemáticos de destaque vai orientar o desenvolvimento responsável dessas capacidades.
dlab mostra grupos universitários competindo com IA em hardware próprio
Agentes comprimiram projetos de pesquisa de anos para semanas, tornando papers isolados menos valiosos que ecossistemas reutilizáveis. A open source week do dlab empacota modelos, código de treino e tooling consciente de hardware.
China apresenta tokamak HL-4 para fusão nuclear em queima contínua
O HL-4 chinês visa ser a primeira plataforma experimental de fusão supercondutora de alta temperatura em operação de queima estacionária, validando ímãs HTS sob condições reais de fusão. Validadas as questões centrais, o programa construirá um reator demonstrativo comercial.
Nova fundação sem fins lucrativos quer modelos abertos para matemática
A SAIR, fundada com doadores privados, quer apoiar usos responsáveis de IA na matemática e nas ciências independente das grandes empresas de IA, desenvolvendo modelos abertos com a comunidade. A iniciativa está em fase inicial e busca parceiros de financiamento e compute.
SpaceX enxugou o motor Raptor em três gerações com 35% mais empuxo
As três gerações do Raptor mostram uma evolução de emaranhado de cabos e tubos para motor enxuto, com o Raptor 3 entregando cerca de 35% mais empuxo que o Raptor 1. O artigo detalha as mudanças específicas que tornaram isso possível.
Cientistas criam camundongos com células cerebrais humanas para estudar doenças
Camundongos sem boa parte do córtex receberam neurônios humanos cultivados em laboratório, criando modelos mais próximos de condições cerebrais humanas. A técnica pode melhorar estudos de doenças neurodegenerativas, mas levanta dilemas éticos.
IA está mudando permanentemente a forma de fazer pesquisa matemática
No ensaio A Era das Maravilhas e dos Terrores, Scott Aaronson examina como a IA transformou o fluxo de trabalho da pesquisa matemática, entre ganhos impressionantes e riscos novos.
SpaceX declara Starship pronto para órbita e marca lançamento para dia 22
A 14ª missão do Starship será a primeira tentativa de voo orbital, levando 26 satélites Starlink V3 a 275 km de altitude. O estágio superior deve completar seis órbitas sem retorno, para coletar dados sobre o escudo térmico.
Cérebro de mosca-da-fruta completo é transformado em modelo que roda Doom
Pesquisadores da Janelia e do Google publicaram o mapa completo dos 166 mil neurônios do inseto. Engenheiros e artistas já treinaram o modelo para tarefas como resolver o cubo mágico, jogar poker e estacionar um carro.
EUA confirmam pela primeira vez armas de controle espacial em órbita
O Pentágono anunciou oficialmente a existência de armas de controle espacial em órbita, sem detalhar o programa. A divulgação reflete a abertura crescente dos líderes militares para discutir guerra espacial.
Meta-análise de 70 estudos liga vídeos curtos a danos de atenção e memória
Uso pesado de vídeos curtos mostra associações mais fortes com problemas cognitivos do que com saúde mental, e uso compulsivo prevê piores resultados. Efeitos sobre a memória podem dificultar até a imaginação e o planejamento do futuro.
Matemática entra em era de abundância com IA, defende ensaio
O autor argumenta que não dá para impedir amadores e profissionais de gerar matemática com IA, e que isso trará um volume inédito de novos resultados. A área deve se abrir além dos especialistas, com algumas questões respondíveis via investimento financeiro.
Reavaliação mostra que benchmarks de física para IA estavam quebrados
Especialistas rechecaram seis testes populares e acharam gabaritos errados, perguntas vagas e bugs no corretor; limpos, os modelos de fronteira ficam perto da saturação.
IA inunda a matemática de provas e quebra seu sinal de profundidade
No blog de Terence Tao, Bryna Kra argumenta que modelos despejam provas polidas mais rápido do que especialistas conseguem digerir, desalinhando os objetivos das big techs e da comunidade matemática.
Modelos de genoma avançam no design de vacinas contra câncer
Identificar mutações, prever apresentação e imunogenicidade e desenhar RNA fazem das vacinas oncológicas um teste direto de se a IA consegue aplicar o que aprendeu em biologia ao design de um medicamento para uma pessoa específica.
GPT-5.6 Sol executa calibração de qubits em laboratório do MIT
O modelo foi conectado ao software do laboratório para rodar e refinar medições rotineiras de qubits supercondutores de forma autônoma, liberando pesquisadores para design e análise, ainda com supervisão em sinais ruidosos.
DeepMind cria atlas com 9 bilhões de variantes do DNA humano
O AlphaGenome Atlas é um banco de 1 petabyte que prevê os efeitos regulatórios de todas as variantes de nucleotídeo único do genoma, com um score único de impacto por variante. Cientistas podem usar o modelo sem escrever código, acelerando pesquisa em biologia e doenças.
Cérebro mapeado da mosca-das-frutas joga Doom e Super Mario 64
O conectoma da mosca construído pelo Google reúne mais de 166 mil neurônios e 125 milhões de conexões sinápticas, servindo de base para estudar como o cérebro funciona. A mesma estrutura foi usada para rodar games clássicos.
Remédio criado com IA mostra indícios de retardar o envelhecimento
Dados de ensaios clínicos do rentosertib, projetado com ajuda de IA, apontam redução de marcadores biológicos de idade medidos por seis relógios de envelhecimento. Ainda faltam anos para aprovação regulatória.
Google testa IA para evitar rastros de aviões em voos longos
A empresa inicia na Ásia-Pacífico um piloto de desvio de rastros de condensação em voos ultralongos, técnica com potencial de reduzir o impacto climático da aviação.
IA prova Último Teorema de Fermat em 13 milhões de linhas
A demonstração em Lean gerada por máquina e verificada mecanicamente pela Anthropic é grande demais para hardware de consumo e opaca demais para servir como matemática reutilizável.
Claude produz primeira prova verificada por computador do Teorema de Fermat
Em 11 dias com o Lean, o Claude formalizou o teorema provado por Andrew Wiles em 1995, gerando 13 milhões de linhas e 29.500 teoremas intermediários. Isso demonstra o potencial da IA na verificação formal de matemática.
Pesquisadores ensinam rede neural de cérebro de mosca a ouvir emoção
A partir do mapa do cérebro de uma mosca-das-frutas, foi construída uma rede neural treinada para reconhecer emoção em vozes humanas. O experimento mostra a ponte entre conectomas e IA.
Rim de porco mantém paciente vivo até transplante humano
Tim Andrews viveu nove meses com um rim de porco geneticamente modificado antes de receber um rim humano, na primeira vez que isso acontece. O caso prova que xenotransplantes podem servir como ponte viável até um órgão humano.
Mapa completo do cérebro de mosca-das-frutas é publicado
Pesquisadores da Janelia, apoiados pelo Google, divulgaram o diagrama completo de conexões do cérebro e sistema nervoso central de mosca-das-frutas macho, o maior mapa cerebral já feito em número de neurônios. É um marco da connectômica construído com IA e uma década de trabalho.
Uso de smartphone pode reduzir infecções graves, apontam estudos
Pesquisas sugerem que drogas GLP-1 como Ozempic reduzem a ocorrência ou gravidade de certas infecções, incluindo tuberculose, especialmente em grupos vulneráveis como diabéticos tipo 2. Descoberta inesperada amplia o perfil de benefícios dos agonistas GLP-1.
Google WeatherNext 3: modelo de clima mais preciso do DeepMind
O WeatherNext 3 do Google DeepMind incorpora dados de satélite em tempo real, atualização horária, maior resolução e previsão de precipitação precisa, além de variáveis de energia limpa. Avanço relevante para meteorologia operacional global.
GLP-1 como Ozempic associados a menos infecções graves
Estudos recentes ligam medicamentos GLP-1, como Ozempic, à redução de ocorrência e gravidade de infecções sérias, incluindo tuberculose, especialmente em grupos vulneráveis como diabéticos tipo 2. Pode ampliar o escopo clínico da classe muito além do peso.
Robotáxis iniciam testes nas ruas medievais de Londres
15 robotáxis estarão disponíveis via app da Uber em Londres durante o período de testes de segurança, um passo importante para veículos autônomos em cidades europeias, onde regulação rígida e ambientes complexos de direção retardaram a adoção.
Quimogenética testa controle remoto de neurônios em ensaios na China
A técnica modifica neurônios específicos para serem controlados por drogas inertes, com ensaios clínicos em curso na China que podem gerar novos tratamentos para epilepsia, Parkinson e dor.
TxBench-AB avalia LLMs em descoberta de anticorpos
Novo benchmark de IA mede a eficácia de modelos de linguagem em pesquisa biomédica, focado em descoberta de anticorpos.
Fervo fecha com o Google o maior contrato de geotermia de nova geração
A Fervo fornecerá quase 400 MW de energia limpa de projeto em Utah, o que pode se tornar o maior sistema geotérmico do mundo em 2028. O acordo financia a segunda fase de 400 MW da expansão.
Grupo privado planeja missão 'mais barata possível' até Alpha Centauri
A missão Fermi Explorer pretende enviar 1 kg de carga à Alpha Centauri em menos de 80 mil anos, testando dois filtros do paradoxo de Fermi. O time quer lançar até 2029 usando tecnologia existente.
Computação quântica: entre o progresso real e a ameaça à criptografia
Enquanto máquinas úteis seguem distantes, pesquisadores do Google estimam que computadores quânticos capazes de quebrar a criptografia atual podem chegar já em 2029. Sem migração a tempo, as portas digitais da internet ficam inúteis.
OpenAI lança Rosalind Workbench para ciências da vida em preview
O ambiente virtual reúne ferramentas científicas, modelos especializados em biologia e fluxos de análise de dados dentro do app do ChatGPT. O objetivo é acelerar a pesquisa de ciências da vida com IA de fronteira, em preview de pesquisa.
Transfyr sai da stealth com US$ 25 mi para decifrar o toque mágico de cientistas
A startup usa IA para analisar vídeos, áudio e logs de equipamentos e descobrir por que alguns experimentos dão certo e outros não. Já revelou que cientistas executam o mesmo protocolo de formas muito diferentes.
Terminal-Bench-Science testa agentes em fluxos reais de pesquisa
O novo benchmark avalia agentes de IA em workflows retirados do dia a dia de pesquisadores, não em tarefas sintéticas. Uma medida de prontidão da IA para ciência prática.
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.
Um email por dia útil, lido em ~3 min · grátis · sem spam