Startup de IA Theorem Garante US$ 6 Milhões para Combater Bugs de Software Gerados por IA

A startup Theorem, sediada em São Francisco, arrecadou US$ 6 milhões em financiamento inicial para desenvolver ferramentas automatizadas que verificam a correção de software gerado por IA, anunciou a empresa na terça-feira, 27 de janeiro de 2026. A rodada de investimento foi liderada pela Khosla Ventures, com participação da Y Combinator, e14, SAIF, Halcyon e investidores anjo, incluindo Blake Borgesson, cofundador da Recursion Pharmaceuticals, e Arthur Breitman, cofundador da plataforma blockchain Tezos, de acordo com a VentureBeat.

A Theorem surgiu do lote da Primavera de 2025 da Y Combinator. A empresa aposta que, à medida que a inteligência artificial remodela o desenvolvimento de software, o próximo grande gargalo da indústria será confiar no código produzido pela IA. O financiamento será usado para construir ferramentas que visam impedir que bugs escritos por IA sejam lançados.

O investimento ocorre em um momento em que os assistentes de codificação de IA de empresas como o GitHub estão se tornando cada vez mais prevalentes. A Theorem visa abordar os riscos potenciais associados à dependência de código gerado por IA.

Em notícias relacionadas, o rápido avanço da IA está impactando vários setores, incluindo a visualização de dados. De acordo com a Avalon Holographics, os humanos precisam permanecer no circuito, interagindo com os dados e identificando lacunas entre a simulação e a realidade à medida que os sistemas de IA se tornam mais poderosos. A computação espacial é cada vez mais compartilhada entre humanos e IA, exigindo um foco em como os humanos interagem com dados 3D para maximizar os benefícios da IA, informou a VentureBeat.

Enquanto isso, as preocupações com a privacidade dos dados e a dependência de serviços não pertencentes à UE continuam relevantes para os operadores de sites. A Lightwaves.io oferece um scanner gratuito para analisar a dependência dos sites em serviços como Google Fonts, Analytics e CDNs, fornecendo uma "Auditoria de Independência da UE", de acordo com o Hacker News. A auditoria verifica a localização da hospedagem, fontes, análises, CDN, incorporações de vídeo, ferramentas de bate-papo, widgets sociais e mapas. O serviço destaca o risco de invalidação do Quadro de Privacidade de Dados UE-EUA, semelhante a acordos anteriores como Safe Harbor e Privacy Shield. Os sites que atingem uma pontuação de 100 na auditoria são considerados "à prova do futuro".