Harmonic

Harmonic develops a reasoning engine, Aristotle, whose outputs can be formally verified. The company describes its focus as mathematical superintelligence and presents Aristotle as available to the public, with a "Try Aristotle" entry point on its homepage. The website also lists a research sponsorship programme for mathematicians and a verified software benchmark result.

The website does not describe pricing or revenue model. It names no specific customers, and the public-facing offering is Aristotle. Funding rounds (Series A, Series B and Series C) are listed on the about page without amounts or investors named.

Harmonic was co-founded in 2023 by Tudor Achim (CEO) and Vlad Tenev (Executive Chairman). The company's current open roles are in Palo Alto and London, mainly for software, formal verification, ML systems, infrastructure and research engineering positions.

Product: Aristotle, a reasoning engine that produces outputs which can be formally verified; publicly available.