Startup-i i shefit të Robinhood zgjeron modelin e inteligjencës artificiale Aristotle në verifikimin e softuerit dhe të dizajnit të çipave
Full story
Harmonic is a startup co-founded by Robinhood director Vlad Tenev. The company is expanding its Aristotle AI model, which specializes in mathematical reasoning. The model is moving beyond mathematical proofs to check C code. It will also be used to verify chip designs in Verilog.
Harmonic, startup-i i bashkëthemeluar nga drejtori i Robinhood, Vlad Tenev, e shtrin modelin e tij të arsyetimit matematik nga provat matematikore te kontrolli i kodit në C dhe i dizajneve të çipave në Verilog