Robinhood CEO의 AI 스타트업인 Harmonic은 아리스토텔레스를 소프트웨어 및 칩 설계 검증으로 확장합니다.

로빈후드(Robinhood) CEO 블라드 테네프(Vlad Tenev)가 공동 설립한 AI 스타트업 하모닉(Harmonic)은 화요일 자사의 아리스토텔레스 모델을 수학적 증명에서 소프트웨어 및 칩 설계 검증으로 확장하고 있다고 로이터 통신이 보도했습니다. 이러한 움직임은 소프트웨어 결함 탐지에 AI가 점점 더 많이 사용되면서 조사가 강화됨에 따라 이루어졌습니다.

수학 증명부터 코드까지

Harmonic은 Aristotle이 이제 C로 작성된 소프트웨어와 Verilog로 작성된 칩 설계를 검증할 수 있다고 말했습니다. 회사는 자사의 목표를 수학적 초지능, 즉 환각과 사실 오류를 줄이는 것을 목표로 하는 추론 중심 AI 시스템이라고 설명합니다.

Reuters는 최근 연구원들이 이러한 종류의 기술을 사용하여 PHP의 중요한 버그를 발견했으며 전 세계적으로 이를 패치하려는 움직임이 촉발되었다고 지적했습니다. 테스트만 하기보다는 수학적 검사를 통해 설계 단계에서 결함을 찾아내는 것이 하모닉이 원하는 시장입니다.

4시간짜리 퓨전 케이스

Harmonic은 미국 핵융합 연구소 DIII-D가 아리스토텔레스를 사용하여 하나의 연구 논문과 254 단어 프롬프트를 통해 4시간 만에 원자로 제어 소프트웨어의 일부를 재구성했다고 밝혔습니다. 이 예는 단지 코드를 작성하는 것이 아니라 사양과 대조하여 확인하는 추론 모델을 보여주기 위한 것입니다.

배경과 볼만한 것

Harmonic은 지난 11월 Nvidia의 벤처 자회사인 Sequoia와 Ribbit Capital의 지원을 받아 14억 5천만 달러의 가치 평가로 1억 2천만 달러를 모금했습니다. 보고서는 이번 확장과 관련된 새로운 자금이나 새로운 고객에 대해서는 언급하지 않았습니다. 다음으로 중요한 것은 검증 도구가 연구 시연에서 칩 및 소프트웨어 회사의 일상적인 개발 작업으로 이동하는지 여부와 고객이 추가된 확실성에 대해 비용을 지불할지 여부입니다.