Harmonic, AI-стартап генерального директора Robinhood, расширяет возможности Aristotle в сфере проверки программного обеспечения и конструкции чипов.

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

От математических доказательств к коду

В Harmonic заявили, что Aristotle теперь может проверять программное обеспечение, написанное на C, и проекты микросхем, написанные на Verilog. Компания описывает свою цель как математический суперинтеллект: систему искусственного интеллекта, ориентированную на рассуждения, направленную на уменьшение галлюцинаций и фактических ошибок.

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

Четырехчасовой фьюжн-кейс

Harmonic указала на американскую термоядерную лабораторию DIII-D, которая, по ее словам, использовала Аристотеля для восстановления части своего программного обеспечения для управления реактором за четыре часа, используя одну исследовательскую работу и подсказку из 254 слов. Этот пример призван показать модель рассуждения, которая не просто пишет код, но и проверяет его на соответствие спецификации.

Предыстория и что посмотреть

В ноябре прошлого года Harmonic привлекла $120 млн при оценке в $1,45 млрд при поддержке венчурного подразделения Nvidia Sequoia и Ribbit Capital. В отчете не упоминается новое финансирование или новые клиенты, связанные с этим расширением. Далее важно, перейдут ли инструменты проверки из исследовательских демонстраций в повседневную работу компаний по разработке чипов и программного обеспечения, и будут ли клиенты платить за эту дополнительную уверенность.