Harmonic, la startup de inteligencia artificial del CEO de Robinhood, expande Aristóteles hacia la verificación del diseño de chips y software

Harmonic, la startup de inteligencia artificial cofundada por el director ejecutivo de Robinhood, Vlad Tenev, dijo el martes que está ampliando su modelo Aristóteles de pruebas matemáticas a software y verificación de diseño de chips, informó Reuters. La medida se produce cuando el creciente uso de la IA para detectar fallas de software genera un mayor escrutinio.

De las pruebas matemáticas al código

Harmonic dijo que Aristóteles ahora puede verificar software escrito en C y diseños de chips escritos en Verilog. La empresa describe su objetivo como superinteligencia matemática: un sistema de inteligencia artificial centrado en el razonamiento destinado a reducir las alucinaciones y los errores fácticos.

Reuters señaló que los investigadores utilizaron recientemente este tipo de tecnología para descubrir errores críticos en PHP, lo que provocó una prisa global por corregirlos. Detectar defectos en la etapa de diseño, con comprobaciones matemáticas en lugar de pruebas únicamente, es el mercado al que Harmonic quiere servir.

Un caso de fusión de cuatro horas

Harmonic señaló el laboratorio de fusión estadounidense DIII-D, que, según dijo, utilizó Aristóteles para reconstruir parte de su software de control de reactor en cuatro horas, a partir de un artículo de investigación y un mensaje de 254 palabras. El ejemplo pretende mostrar un modelo de razonamiento que no sólo escribe código sino que lo compara con una especificación.

Antecedentes y qué mirar

Harmonic recaudó 120 millones de dólares en noviembre pasado con una valoración de 1.450 millones de dólares, respaldado por el brazo de riesgo de Nvidia, Sequoia y Ribbit Capital. El informe no mencionó nueva financiación ni nuevos clientes vinculados a esta expansión. Lo que importa ahora es si las herramientas de verificación pasan de las demostraciones de investigación al trabajo de desarrollo diario de las empresas de chips y software, y si los clientes pagarán por esa seguridad adicional.