“Harmonic is an AI research lab co-founded by Vlad Tenev and Tudor Akim with the goal of building mathematical superintelligence.”