AI company building Aristotle, a mathematical reasoning system that combines informal reasoning with formal verification so answers can be checked rather than merely generated. Harmonic is focused on theorem proving, Lean-backed verification, and high-stakes domains where correctness matters.
See something inaccurate or outdated?
