We are forging the world's most advanced mathematical reasoning engine
Join us if you're passionate about:
1
Building AI that is truthful, with verifiably correct and interpretable outputs
2
Changing the way mathematics is learned and taught in schools
3
Accelerating the advent of verified software synthesis in safety-critical domains
4
Solving open problems in mathematics, science, and beyond
Our mission is:
To explore the frontiers of human understanding
Our values
1
Truth
We always seek and speak the truth, no matter how uncomfortable the path may be.
2
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.
3
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.
4
Humanity
We believe that humans must direct the progress of mathematics and science, and we build our tools accordingly.
Our Founders
Tudor Achim
Co-Founder and CEO
In 2023, Tudor co-founded Harmonic with Vlad to build the world's most advanced reasoning engine. Tudor is also the Co-Founder and former CTO of Helm.ai. Tudor holds a B.S. in Computer Science from Carnegie Mellon University and was a Ph.D. Candidate in Computer Science at Stanford.
Vlad Tenev
Co-Founder and Executive Chairman
In 2023, Vlad co-founded Harmonic with Tudor to build the world's most advanced reasoning engine. Vlad is also the Co-Founder and CEO of Robinhood Markets. Vlad holds a B.S. in Mathematics from Stanford University and an M.S. in Mathematics from UCLA.
