Startup-ul AI al CEO-ului Robinhood, Harmonic, se extinde în verificarea software-ului și a designului de cipuri
Harmonic, startup-ul de inteligență artificială cofondat de Vlad Tenev, CEO-ul Robinhood, a anunțat că își extinde modelul Aristotle dincolo de demonstrațiile matematice, către verificarea software-ului și a designului de cipuri. Decizia vine în contextul în care utilizarea tot mai largă a AI-ului pentru detectarea defectelor din software atrage o atenție sporită.
Recent, cercetătorii au folosit această tehnologie pentru a descoperi vulnerabilități critice în PHP, ceea ce a declanșat o mobilizare globală pentru remedierea rapidă a problemelor identificate.
Compania este susținută de brațul de investiții al Nvidia, precum și de Sequoia și Ribbit Capital. În noiembrie anul trecut, Harmonic a atras o rundă de finanțare de 120 de milioane de dolari, care a evaluat compania la 1,45 miliarde de dolari.
Harmonic dezvoltă ceea ce numește „superinteligență matematică”, un sistem AI orientat spre raționament, conceput pentru a reduce halucinațiile și erorile factuale.
Potrivit companiei, modelul Aristotle poate verifica acum software scris în limbajul C și designuri de cipuri scrise în Verilog. Laboratorul american de fuziune DIII-D a declarat că Aristotle a reconstruit o parte din software-ul său de control al reactorului în patru ore, pornind de la un studiu de cercetare și un prompt de 254 de cuvinte.