Building the world’s mostadvanced reasoning engine

Harmonic began with a question two founders asked on the same day: could AI solve the hardest problems in mathematics, and prove it got them right?

Our founders

Tudor Achim
Co-Founder and CEO
Before Harmonic, Tudor co-founded Helm.ai and was its CTO. In 2023, on a walk around the Dish at Stanford, he told a friend he wanted to use AI on hard math problems. The next day, Vlad pitched the same friend the same idea. From the start, they wanted an AI that checks its own proofs, so no one has to take a long proof on trust. Tudor has a B.S. in Computer Science from Carnegie Mellon and was a Ph.D. candidate in Computer Science at Stanford.
Vlad Tenev
Co-Founder and Executive Chairman
Vlad went to UCLA for grad school in math, to study with Terry Tao, and a month later Lehman Brothers went under. He left to start a company instead, and went on to co-found Robinhood, where he’s CEO. In 2023, with GPT-4 just out, he began wondering whether AI could take on really hard math problems, and co-founded Harmonic with Tudor that year. He has a B.S. in Mathematics from Stanford and an M.S. in Mathematics from UCLA.

Then: For decades, software was written by people and checked by people reading it.
Now: AI writes more code than anyone can review. At that volume, some of it is wrong, and it's already in production.
Harmonic: We built Aristotle to reason in a language a machine can check. It reached gold-medal level at the 2025 International Mathematical Olympiad. Now we’re putting the same technology to work on software and hardware.

Oct 2026
Milestone
Verilog and C launch
Aristotle now formally verifies software and hardware, starting with C and Verilog.
Jan 2026
Research
Mathematician Research Sponsorships Announced
Harmonic announces mathematician sponsorships to accelerate mathematical superintelligence.
Dec 2025
Research
State of the art in code verification: 96.8% on VERINA
Aristotle sets the State-of-the-Art of 96.8% on the VERINA Code Verification Benchmark.
Nov 2025
Funding
Series C
Ribbit Capital leads Harmonic's Series C funding, with significant participation from Emerson Collective and continued support from Sequoia Capital, Index Ventures, and Kleiner Perkins.
Oct 2025
Product
Aristotle available to the public
The Aristotle API brings verified reasoning to developers, mathematicians, researchers, and the general public.
Jul 2025
Funding
Series B
Kleiner Perkins leads Harmonic's Series B funding, with significant backing from Paradigm and continued support from Sequoia Capital and Index Ventures.
Jul 2025
Research
Gold-medal level at the IMO
Aristotle achieves Gold Medal–level performance at the 2025 International Mathematical Olympiad.
Sep 2024
Funding
Series A
Sequoia Capital leads Harmonic's Series A fundraise, with significant participation from Index Ventures.
Jun 2024
Milestone
First SOTA result
Aristotle, a theorem prover, advances the state of the art on MiniF2F.
2023
Milestone
Harmonic founded
Harmonic starts building mathematical superintelligence.

1/1

Truth
We always seek and speak the truth, no matter how uncomfortable the path may be.
Tenacity
We are working to solve some of the world’s hardest problems, and we refuse to fail for a lack of effort or focus.
Craftsmanship
Mathematics and art are inextricably linked. We take pride in the aesthetics of what we build, from our user interface down to our backend infrastructure.
Humanity
We believe that humans must direct the progress of mathematics and science, and we build our tools accordingly.