Harmonic expande para verificação de software e chips
A Harmonic, startup de IA cofundada pelo CEO da Robinhood, Vlad Tenev, está expandindo seu modelo Aristóteles além de provas matemáticas para a verificação de software e design de chips. O sistema focado em raciocínio visa reduzir erros factuais ao lidar com tarefas complexas de engenharia.
Xurve View
Perspectivas:
Xurve View
A Harmonic, startup de IA cofundada pelo CEO da ROBINHOOD MARKETS INC - A, Vlad Tenev, expandiu seu modelo Aristóteles para a verificação de software e chips na manhã de terça-feira. A plataforma de IA focada em raciocínio vai além de demonstrações matemáticas para focar em vulnerabilidades críticas em toda a infraestrutura digital. A expansão ocorre em um momento em que a detecção automatizada de bugs atrai o escrutínio de equipes de engenharia globais.
