A startup de inteligência artificial Harmonic anunciou nesta terça-feira, 27 de outubro, a expansão do seu modelo Aristotle: ele deixa de se concentrar apenas em provas matemáticas e passa a verificar também software e projetos de chips. Status da informação: DECLARAÇÃO da empresa — o anúncio foi reportado pela Reuters, mas o texto da agência não traz uma verificação independente das novas capacidades nem resultados de testes comparativos.
Segundo a empresa, o Aristotle agora consegue verificar software escrito em C e projetos de chips escritos em Verilog, a linguagem usada para descrever hardware. A ideia é aplicar a mesma abordagem de verificação formal que a Harmonic usa na matemática — em que uma resposta não é apenas plausível, mas demonstrada como correta — a códigos e circuitos em que um erro pode ter custo alto.
O contexto ajuda a entender o momento do anúncio. Segundo a Reuters, pesquisadores usaram recentemente a tecnologia para descobrir falhas críticas em PHP, o que levou a uma corrida global por correções. A reportagem não detalha quais falhas, quem as encontrou nem em que versão do PHP, e esses pontos não são apresentados aqui como confirmados.
O exemplo concreto citado pela Reuters vem do laboratório de fusão DIII-D, nos Estados Unidos: segundo o laboratório, o Aristotle reconstruiu parte do software de controle do reator em quatro horas, a partir de um único artigo científico e de um comando de 254 palavras. Trata-se de um relato do próprio laboratório, reproduzido pela agência, e não de um teste independente publicado.
A Harmonic descreve seu trabalho como “superinteligência matemática”, uma IA voltada a raciocínio, com o objetivo de reduzir alucinações e erros factuais. A empresa foi cofundada por Vlad Tenev, presidente-executivo da Robinhood, e tem entre seus apoiadores a NVentures, braço de capital de risco da Nvidia, além de Sequoia e Ribbit Capital. Em novembro do ano passado, a Harmonic captou US$ 120 milhões, em rodada que a avaliou em US$ 1,45 bilhão, segundo a Reuters. O Aristotle está disponível com preço baseado no uso, mas os valores não foram divulgados na reportagem.
Para referência, o Aristotle foi lançado em 2025 com desempenho de nível ouro na Olimpíada Internacional de Matemática de 2025, com soluções formalmente verificadas, segundo comunicado da própria Harmonic. A expansão anunciada agora é, portanto, uma mudança de escopo — da matemática para a engenharia de software e de chips — e não um novo modelo.
Crédito da imagem: imagem ilustrativa de semicondutor, via Tech Xplore.
Fontes: Reuters — Harmonic expande Aristotle para verificação de software e de chips e BusinessWire — Harmonic lança Aristotle com desempenho ouro na IMO 2025
Transparência: esta matéria foi produzida com auxílio de inteligência artificial, a partir do cruzamento de publicações públicas e de fontes da internet citadas abaixo. Consulte as fontes originais para confirmar os detalhes.
Muse
