Harmonic se expande a la verificación de software y chips
Harmonic, una startup de IA cofundada por el CEO de Robinhood, Vlad Tenev, está expandiendo su modelo Aristóteles más allá de las pruebas matemáticas hacia la verificación de software y diseño de chips. El sistema centrado en el razonamiento busca reducir los errores fácticos mientras aborda tareas complejas de ingeniería.
Harmonic, la startup de IA cofundada por el CEO de ROBINHOOD MARKETS INC - A, Vlad Tenev, expandió su modelo Aristóteles a la verificación de software y chips el martes por la mañana. La plataforma de IA centrada en el razonamiento va más allá de las demostraciones matemáticas para abordar vulnerabilidades críticas en toda la infraestructura digital. La expansión llega en un momento en que la detección automatizada de errores atrae la atención de equipos de ingeniería globales.
