Tudor Achim, co-founder and CEO of Harmonic

Building Math Superintelligence using advanced reasoning and formal verification

It was a great honor to organize an Icons dinner with Tudor Achim, the co-founder and CEO of Harmonic, which seeks to build and commercialize math superintelligence.

Unlike traditional LLMs, Harmonic combines advanced reasoning with formal verification, and their flagship Aristotle model was the first to produce formally verified solutions to five of six 2025 International Math Olympiad problems, achieving gold medal level performance.

Thanks so much to Tudor Achim for an incredible dinner. It was awesome to hear Harmonic’s vision to enable a world where math progresses at the speed of software, unlocking numerous applications across industries.

Check out Harmonic’s career page (https://lnkd.in/eiXsQ4sb) if you’re excited to learn more.

Thanks to Asset Abdualiyev from Silkroad Innovation Hub for hosting us and CMT Digital for sponsoring the event.