Startup-i i shefit të Robinhood zgjeron modelin e inteligjencës artificiale Aristotle në verifikimin e softuerit dhe të dizajnit të çipave

Harmonic, startup-i i inteligjencës artificiale i bashkëthemeluar nga drejtori ekzekutiv i Robinhood, Vlad Tenev, njoftoi të martën se po e zgjeron modelin e tij Aristotle nga provat matematikore në verifikimin e softuerit dhe të dizajnit të çipave, siç njofton Reuters. Zgjerimi vjen ndërsa përdorimi i inteligjencës artificiale për zbulimin e defekteve në softuer po tërheq vëmendje në rritje.

Sipas Reuters, Aristotle tani mund të verifikojë softuer të shkruar në gjuhën C dhe dizajne çipash të shkruara në Verilog. Studiuesit e përdorën së fundi këtë teknologji për të zbuluar defekte kritike në PHP, gjë që nxiti një garë globale për t’i korrigjuar dobësitë.

Harmonic po zhvillon atë që e quan “superinteligjencë matematikore”, një sistem i inteligjencës artificiale i fokusuar te arsyetimi, me synim uljen e halucinacioneve dhe gabimeve faktike.

Kompania mbështetet nga krahu i kapitalit sipërmarrës i Nvidia-s, Sequoia dhe Ribbit Capital. Nëntorin e kaluar, ajo mblodhi 120 milionë dollarë në një raund financimi që e vlerësoi kompaninë 1.45 miliardë dollarë.

Laboratori amerikan i fuzionit DIII-D tha se Aristotle rindërtoi një pjesë të softuerit të tij të kontrollit të reaktorit brenda katër orësh, duke u nisur nga një punim kërkimor dhe një kërkesë (prompt) prej 254 fjalësh.