Quora
Helm.ai
Carnegie Mellon University
Stanford University
Vlad TenevFounder
Harmonic
Co-founder and Executive Chairman
via Harmonic
Researcher · Founder · Executive
Tudor Achim
TA
Co-founder and CEO at Harmonic
Achim co-founded Harmonic to build mathematical AI whose answers can be formally checked. Its Aristotle system reached gold-medal-level performance on International Mathematical Olympiad problems, advancing the idea that powerful reasoning systems should produce proofs rather than merely plausible answers.
See something inaccurate or outdated?
Background
Current role
Co-founder and CEOHarmonic
HarmonicAbout this data
Work and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Last editorial review: August 10, 2026Citation Trend
2 snapshots948citations as of Jun 15, '26+155 since Aug 25, '25
For today’s citation count and citations per paper, visit Google Scholar.