Harmonic, startup de IA do CEO da Robinhood, expande Aristóteles para verificação de software e design de chip

Harmonic, a startup de IA cofundada pelo CEO da Robinhood, Vlad Tenev, disse na terça-feira que está expandindo seu modelo de Aristóteles de provas matemáticas para verificação de software e design de chip, informou a Reuters. A mudança ocorre no momento em que o uso crescente da IA ​​na detecção de falhas de software atrai maior escrutínio.

Das provas matemáticas ao código

Harmonic disse que Aristóteles agora pode verificar software escrito em C e designs de chips escritos em Verilog. A empresa descreve seu objetivo como superinteligência matemática: um sistema de IA focado no raciocínio que visa reduzir alucinações e erros factuais.

A Reuters observou que pesquisadores usaram recentemente esse tipo de tecnologia para descobrir bugs críticos no PHP, provocando uma corrida global para corrigi-los. Detectar defeitos na fase de projeto, com verificações matemáticas em vez de apenas testes, é o mercado que a Harmonic deseja atender.

Um caso de fusão de quatro horas

A Harmonic apontou para o laboratório de fusão dos EUA DIII-D, que disse ter usado Aristóteles para reconstruir parte de seu software de controle de reator em quatro horas, a partir de um artigo de pesquisa e um prompt de 254 palavras. O exemplo pretende mostrar um modelo de raciocínio que não apenas escreve código, mas o verifica em relação a uma especificação.

Histórico e o que assistir

A Harmonic levantou US$ 120 milhões em novembro passado, com uma avaliação de US$ 1,45 bilhão, apoiada pelo braço de risco da Nvidia, Sequoia e Ribbit Capital. O relatório não mencionou novas captações ou novos clientes vinculados a esta expansão. O que importa a seguir é se as ferramentas de verificação passam das demonstrações de pesquisa para o trabalho diário de desenvolvimento das empresas de chips e software, e se os clientes pagarão por essa certeza adicional.