Develops the Mathematical Superintelligence Aristotle, a formal-logic AI without hallucinations, co-founded by Vlad Tenev.
Founders
Vlad Tenev(Bulgaria · ♂)— A Stanford-trained mathematician and Robinhood co-founder, he became fascinated with using AI to solve a Millennium Prize problem and co-founded Harmonic to build mathematical superintelligence.
Tudor Achim(United States · ♂)— After co-founding self-driving AI company Helm.ai, he teamed with Vlad Tenev to build Harmonic's hallucination-free, formally verified mathematical reasoning engine.
Team & hubs
In the network
Shares the most investors with (number = shared investors):