Seminar
| Parent Program: | -- |
|---|---|
| Location: | SLMath: Eisenbud Auditorium |
2:00-3:00pm US Pacific Time (What time is that for me?)
On site attendees: SLMath, 17 Gauss Way, Berkeley, CA 97420 (Directions)
Online attendees: Zoom Link [Event has concluded]
Add event to calendar: Apple Google Office 365 Outlook Outlook.com Yahoo
In 2023, Tudor Achim co-founded Harmonic with Vlad Tenev to build the world's most advanced reasoning engine. Combining formal verification with informal reasoning, Harmonic’s formal reasoning model, Aristotle, achieved gold-medal-equivalent performance on the 2025 International Mathematical Olympiad problems. Aristotle integrates three main components: a Lean proof search system, an informal reasoning system that generates and formalizes lemmas, and a dedicated geometry solver.
Achim is also the Co-Founder and former CTO of Helm.ai. He holds a B.S. in Computer Science from Carnegie Mellon University and was a PhD Candidate in Computer Science at Stanford University.
Download a flyer to share with your department or network (PDF)
