Ang Harmonic, ang AI startup ng Robinhood CEO, ay nagpapalawak kay Aristotle sa pag-verify ng software at chip-design

Ang Harmonic, ang AI startup na co-founded ng Robinhood CEO na si Vlad Tenev, ay nagsabi noong Martes na pinapalawak nito ang Aristotle model nito mula sa mathematical proofs sa software at chip-design verification, iniulat ng Reuters. Ang hakbang ay dumating habang ang lumalagong paggamit ng AI sa pag-detect ng mga bahid ng software ay humahatak ng mas mataas na pagsisiyasat.

Mula sa mga patunay sa matematika hanggang sa code

Sinabi ni Harmonic na maaari na ngayong i-verify ni Aristotle ang software na nakasulat sa C at mga disenyo ng chip na nakasulat sa Verilog. Inilalarawan ng kumpanya ang layunin nito bilang mathematical superintelligence: isang sistema ng AI na nakatuon sa pangangatwiran na naglalayong bawasan ang mga guni-guni at mga pagkakamali sa katotohanan.

Nabanggit ng Reuters na kamakailang ginamit ng mga mananaliksik ang ganitong uri ng teknolohiya upang matuklasan ang mga kritikal na bug sa PHP, na nag-udyok sa isang pandaigdigang pagmamadali upang i-patch ang mga ito. Ang pagkakaroon ng mga depekto sa yugto ng disenyo, na may mga pagsusuri sa matematika sa halip na pagsubok lamang, ang market na gustong ihatid ng Harmonic.

Isang apat na oras na fusion case

Itinuro ni Harmonic ang US fusion lab DIII-D, na sinabi nitong ginamit si Aristotle upang muling itayo ang bahagi ng reactor-control software nito sa loob ng apat na oras, mula sa isang research paper at isang 254-word prompt. Ang halimbawa ay sinadya upang ipakita ang isang modelo ng pangangatwiran na hindi lamang sumulat ng code ngunit sinusuri ito laban sa isang detalye.

Background at kung ano ang dapat panoorin

Ang Harmonic ay nakalikom ng $120 milyon noong Nobyembre sa isang $1.45 bilyon na pagpapahalaga, na sinusuportahan ng venture arm ng Nvidia, Sequoia at Ribbit Capital. Ang ulat ay hindi binanggit ang bagong pagpopondo o mga bagong customer na nauugnay sa pagpapalawak na ito. Ang susunod na mahalaga ay kung ang mga tool sa pag-verify ay lumipat mula sa mga demonstrasyon ng pananaliksik patungo sa pang-araw-araw na pag-develop ng mga kumpanya ng chip at software, at kung babayaran ng mga customer ang karagdagang katiyakan na iyon.