Loading profile
Loading sourced facts.
01 Finding sources
02 Reading evidence
03 Filing the card
Loading profile
01 Finding sources
02 Reading evidence
03 Filing the card
Harmonic builds Aristotle, a formally verified mathematical reasoning AI that eliminates hallucinations by expressing every proof step as checkable Lean4 code, targeting mathematicians, researchers, and high-stakes engineering domains.
Raised $295M across disclosed rounds.[12]
Series C closed November 2025.[12]
Round size, post-money valuation, and the full investor list are not publicly disclosed.
Tudor Achim, Cofounder & CEO[9][14][26]
Tudor Achim, Cofounder & CEO[9][14]
May 2026 · techcompanynews.com
reported
May 2026 · crowdfundinsider.com
reported
May 2026 · siliconangle.com
reported
May 2026 · techfundingnews.com
reported
May 2026 · siliconangle.com
Harmonic builds Aristotle, a formally verified mathematical reasoning AI that eliminates hallucinations by expressing every proof step as checkable Lean4 code, targeting mathematicians, researchers, and high-stakes engineering domains.
Ask for one referenceable production customer.
Not a recommendation. The first thing this ledger cannot answer.
No comparable company is named by any source in this ledger.
The section stays empty until one is.
The customer proof is company-sourced only. No independent source in this ledger confirms it.[13]
Ask for one referenceable production customer.
Not a recommendation. The first thing this ledger cannot answer.
Filled in the side panel for invited readers. This card carries sourced facts only.
reported
May 2026 · businesswire.com
company
May 2026 · businesswire.com
company
May 2026
vendor
May 2026 · distillintelligence.com
reported