“Vlad Tenev co-founded Harmonic, a for-profit AI lab focused on achieving mathematical superintelligence.”