Helm.ai
Quora
Carnegie Mellon University
Stanford University
Vlad TenevCo-founder and Executive Chairman · HarmonicFounder↗
Researcher · Founder · Executive
Tudor Achim
HarmonicCo-founder and CEO
Achim co-founded Harmonic to build mathematical AI whose answers can be formally checked. Its Aristotle system reached gold-medal-level performance on 2025 International Mathematical Olympiad problems[1], advancing the idea that powerful reasoning systems should produce proofs rather than merely plausible answers.
Career & education
Current roleHarmonicOct 2023-presentCo-founder and CEO
HarmonicOct 2023-presentWork and education history is primarily focused on AI-relevant roles and may not be comprehensive.
Citation Trend
Total citations to scholarly work, including research papers, technical reports, books and theses, as recorded by Google Scholar. Each point is a dated snapshot.
citations1,048As of Oct 18, '26
citations+100Since last snapshot, Jun 15, '26
References
- Aristotle: IMO-level Automated Theorem Provingarxiv.org
Author paper reports gold-medal-equivalent performance on the 2025 IMO problems, not an officially awarded medal.
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed August 10, 2026 · Checked for accuracy and new information.
