Harmonic is an AI research lab co-founded by Tudor Achim and Vlad Tenev to build mathematical superintelligence and advanced automated reasoning systems. Harmonic's Twitter Score is 87 out of 1000 (a Good rating) as of October 2026, ranking #8,856 (top 5%) among 493,476 tracked accounts.
Harmonic was co-founded in 2023 and has since raised successive funding rounds at increasing valuations. A $75 million Series A led by Sequoia Capital closed in September 2024, followed by a $100 million Series B at roughly $900 million valuation in July 2025, led by Kleiner Perkins with participation from Paradigm. In November 2025, Harmonic raised a $120 million Series C at a $1.45 billion valuation led by Ribbit Capital, with additional backing from Index Ventures, Blossom Capital, GreatPoint Ventures, Emerson Collective, and NVIDIA, among others.
Harmonic's flagship system is Aristotle, a mathematical reasoning and automated theorem-proving model. Aristotle produced formally verified solutions to five of six problems at the 2025 International Mathematical Olympiad and achieved a 96.8% state-of-the-art result on the VERINA code-verification benchmark in December 2025. Harmonic has published 318 posts on the platform and has been mentioned by 50 accounts a total of 166 times.
Who follows Harmonic on X?
The accounts that follow Harmonic include 377 founders, 122 angel investors, 100 influencers and 4 VCs, among them Toly, Marc Andreessen, Paul Graham, Luca Netz, Jesse Powell and Vlad Tenev.