Harmonic, стартап зі штучного інтелекту генерального директора Robinhood, розширює Aristotle до верифікації програмного забезпечення та дизайну мікросхем

Harmonic, стартап штучного інтелекту, співзасновником якого є генеральний директор Robinhood Влад Тенев, заявив у вівторок, що розширює свою модель Аристотеля з математичних доказів на перевірку програмного забезпечення та дизайну мікросхем, повідомляє Reuters. Цей крок стався в той момент, коли все більше використання штучного інтелекту для виявлення недоліків програмного забезпечення викликає підвищену увагу.

Від математичних доказів до коду

Harmonic сказав, що Аристотель тепер може перевірити програмне забезпечення, написане на C, і конструкції мікросхем, написані на Verilog. Компанія описує свою мету як математичний суперінтелект: система штучного інтелекту, орієнтована на міркування, спрямована на зменшення галюцинацій і фактичних помилок.

Агентство Reuters зазначає, що дослідники нещодавно використовували цю технологію для виявлення критичних помилок у PHP, що спонукало глобальний поспіх для їх виправлення. Виявлення дефектів на етапі проектування за допомогою математичних перевірок, а не лише тестування, — це ринок, якому Harmonic хоче служити.

Чотиригодинний ф'южн-кейс

Harmonic вказала на американську лабораторію термоядерного синтезу DIII-D, яка, за її словами, використовувала Аристотеля, щоб відновити частину свого програмного забезпечення для керування реактором за чотири години на основі однієї наукової статті та підказки з 254 слів. Цей приклад має на меті показати модель міркування, яка не просто пише код, але перевіряє його на відповідність специфікації.

Фон і що дивитися

У листопаді минулого року компанія Harmonic залучила 120 мільйонів доларів за оцінкою в 1,45 мільярда доларів за підтримки венчурного підрозділу Nvidia, Sequoia та Ribbit Capital. У звіті не згадується нове фінансування чи нові клієнти, пов’язані з цим розширенням. Далі важливо, чи інструменти верифікації перемістяться з дослідницьких демонстрацій у щоденну роботу компаній, що займаються розробкою мікросхем і програмного забезпечення, і чи будуть клієнти платити за цю додаткову впевненість.