Bio

Tudor Achim is a Romanian-American computer scientist and entrepreneur, co-founder and chief executive officer of Harmonic, the mathematical-superintelligence company he established in 2023 with Vlad Tenev, the co-founder and chief executive of Robinhood. The company's flagship Aristotle model produced formally verified solutions to five of six problems on the 2025 International Mathematical Olympiad, framed by the company and reported in industry coverage as a first for any AI system. As of May 2026, Achim leads Harmonic following the November 2025 Series C of $120 million at a $1.45 billion post-money valuation, led by Ribbit Capital with Sequoia Capital, Index Ventures, Kleiner Perkins, and Emerson Collective participating.

At a glance

• Education: Bachelor of Science in computer science (with mathematics minor), Carnegie Mellon University (2008 to 2011); doctoral candidate in computer science, Stanford University, advised at the Stanford AI Lab; left the doctoral program before completion.
• Current role: Co-founder and Chief Executive Officer of Harmonic since 2023.
• Past roles: Co-founder and Chief Technology Officer, Helm.ai (2014 to 2023); machine-learning research at Quora; doctoral candidate at Stanford.
• Key contributions: co-founder of Harmonic; co-founder and former CTO of Helm.ai; doctoral research on protein structure generation through diffusion models, constraint-satisfaction problems, hash-function analysis for probabilistic inference, and variational bounds optimization.
• Personal site: cs.stanford.edu/~tachim
• LinkedIn: Tudor Achim
• X / Twitter: @tachim

Origins

Achim grew up split between Romania and the United States, with the family moving to the United States so that his mother Cătălina Achim could pursue doctoral studies at Carnegie Mellon. He matriculated at Carnegie Mellon in 2008 to read computer science with a mathematics minor, completing the bachelor's degree in 2011 alongside National Science Foundation Graduate Research Fellowship recognition and an Honorable Mention at the Cincinnati World Piano Competition.

He moved to Stanford in 2011 to begin doctoral work in computer science at the Stanford AI Lab, with research interests spanning machine learning, computer vision, and probabilistic inference. The doctoral work produced an ICML 2016 paper on Fourier analysis applied to hash functions for probabilistic inference, an AISTATS 2016 contribution on variational bounds (joint with equal contribution), and earlier work on large-scale 3D object databases. He was fluent in both Romanian and English and has been active in the Stanford computer-science research community across the period.

Career

In 2014, while still at Stanford, Achim began work on what became Helm.ai, the autonomous-driving software company. He left the doctoral program before completion to focus on Helm.ai, where he served as co-founder and Chief Technology Officer through 2023. The Helm.ai product line targeted ADAS and autonomous-driving software stacks, with the company building deep-learning approaches to perception and behavior prediction for automotive customers. The company raised institutional capital through several rounds during the 2018 to 2022 period.

In 2023 Achim co-founded Harmonic with Vlad Tenev. The founding research thesis was that the principal limitation of contemporary language-model AI in technical domains is the inability to produce verifiable reasoning, and that mathematical superintelligence (defined as AI capable of generating formally verified proofs at scale) was the correct target for closing that gap. Tenev took the co-founder role while remaining chief executive at Robinhood; Achim took the day-to-day operating leadership of Harmonic as Chief Executive Officer.

The 2023 to 2024 stealth and early-product period established the company's research direction toward formally verified mathematical reasoning. By mid-2024 the company had begun publishing capability demonstrations and progressing through institutional fundraising rounds, with the Tenev profile providing distinctive visibility for an AI insurgent of the period. In July 2025 Harmonic closed a $100 million Series B at a roughly $875 million pre-money valuation, putting the company near unicorn territory. In November 2025 the Series C of $120 million at a $1.45 billion post-money valuation, led by Ribbit Capital with Sequoia Capital, Index Ventures, Kleiner Perkins, and new investor Emerson Collective, formally crossed the unicorn threshold and brought cumulative private capital to approximately $295 million. Three substantial rounds in fourteen months reflected both the strategic interest in mathematical-superintelligence-class research and the capability evidence Harmonic had been progressively disclosing.

In late 2025 the company announced that Aristotle had produced formally verified solutions to five of six problems on the 2025 International Mathematical Olympiad, framed as a first for any AI system. The IMO is the principal high-school-level mathematics competition globally and produces problems specifically designed to be unfamiliar and to require novel reasoning, making the Aristotle result a substantial capability disclosure. Achim has appeared at TEDAI San Francisco 2025, on the Sequoia Capital Training Data podcast with Tenev, and across the broader AI-conference circuit through 2025 as the principal external voice for Harmonic's mathematical-superintelligence positioning.

Affiliations

• Carnegie Mellon University: Bachelor of Science in computer science with mathematics minor, 2008 to 2011.
• Stanford University: Doctoral candidate in computer science, 2011 onward; left before completion.
• Quora: Machine-learning research role.
• Helm.ai: Co-founder and Chief Technology Officer, 2014 to 2023.
• Harmonic: Co-founder and Chief Executive Officer, 2023 to present.

Notable contributions

• Doctoral and academic research at Stanford (2011 onwards). Research on protein structure generation through diffusion models (2022), constraint-satisfaction problems, hash-function analysis for probabilistic inference (ICML 2016), variational bounds optimization (AISTATS 2016 oral), and large-scale 3D object databases (2014).
• Helm.ai co-founding (2014). Co-founded the autonomous-driving software company and led the technical direction as Chief Technology Officer through 2023.
• Harmonic co-founding (2023). Co-founded the Palo Alto mathematical-superintelligence company with Vlad Tenev. Took the day-to-day operating leadership as Chief Executive Officer.
• Aristotle (2024 to present). The Harmonic flagship mathematical-superintelligence-class model that produced formally verified solutions to five of six problems on the 2025 International Mathematical Olympiad. Framed by the company and industry coverage as a first for any AI system.
• Series B and Series C fundraising (2025). Led the company through the July 2025 $100 million Series B and the November 2025 $120 million Series C at a $1.45 billion post-money valuation, formally crossing the unicorn threshold.
• Public communications. Appearances on the Sequoia Capital Training Data podcast, at TEDAI San Francisco 2025, and across the broader AI-conference circuit.

Position in the field

As of May 2026, Achim occupies a distinctive position as the operating chief executive of one of the two principal mathematical-superintelligence-class AI insurgents, alongside Carina Hong at Axiom Math. The combination of a senior research-engineering background through Helm.ai, the Tenev co-founder profile and Sequoia-Ribbit-Index-Kleiner-Emerson investor cohort, and the November 2025 IMO capability disclosure produces one of the most-watched AI-for-mathematics insurgent profiles.

Industry coverage has consistently grouped Harmonic with Axiom Math as the two principal mathematical-superintelligence-class AI insurgents of the 2023 to 2026 cohort. The capability-demonstration set differs between the two: Harmonic has emphasized the IMO result, while Axiom Math has emphasized the Putnam result and an autonomous proof of an open number-theory conjecture. The Achim-and-Tenev leadership structure separates day-to-day operating leadership (Achim) from strategic-and-fundraising leadership (Tenev), with Tenev's parallel Robinhood role providing distinctive institutional-investor visibility for Harmonic.

Outlook

Open questions over the next 6 to 18 months:

• Aristotle capability cadence. Continued benchmark and result disclosures beyond the 2025 IMO, including any further open-conjecture-class results.
• Applied verification deployment. The pace of software-and-hardware verification deployments and adjacent high-assurance technical applications, with named customer disclosures as the principal commercial signal.
• Series D fundraising. Whether Harmonic closes a Series D at a step-up valuation in 2026 or 2027, and the strategic-investor configuration.
• Senior research recruiting. Continued hiring against academic formal-mathematics research programs and frontier-lab AI-for-math research teams.
• Competitive dynamics with Axiom Math. Direct technical and commercial competition with Axiom Math and the broader peer set as both companies progress through 2026 to 2027.
• Tenev co-founder relationship. The durability of the Achim-Tenev operating-and-strategic partnership as Harmonic scales.

Sources

• Tudor Achim Stanford CS profile. Stanford Computer Science page with publications.
• Tudor Achim on Google Scholar. Publication record and citation index.
• Tudor Achim at TEDAI San Francisco 2025. Conference biographical entry.
• Sequoia Capital Training Data podcast: Vlad Tenev and Tudor Achim. Founders' research framing.
• Tudor Achim - Co-Founder & CEO @ Harmonic. Crunchbase person profile.
• Tudor Achim - Sequoia Capital founder profile. Sequoia investment-firm founder profile.
• How a 20-Person Startup Won Gold at the Math Olympiad. The Generalist profile of Harmonic and Achim covering the IMO result.
• Business Wire: Harmonic builds momentum towards mathematical superintelligence with $120 Million Series C. November 2025 Series C announcement.
• Business Wire: Harmonic raises $100 Million Series B. July 2025 Series B announcement.
• TechRepublic: Robinhood CEO's Math-Centric AI Firm Harmonic Hits $1.45B. Series C and unicorn-status reference.
• A Chemist's Journey - Carnegie Mellon Mellon College of Science. Carnegie Mellon Mellon College of Science profile of Cătălina Achim noting the family connection.