Harmonic , the AI startup co-founded by Robinhood CEO Vlad Tenev, ​said on Tuesday it was expanding ‌its Aristotle model from mathematical proofs into software and chip design verification, as ​AI's growing use in detecting ​software flaws draws increased scrutiny.