Vlad Tenev co-founded the artificial intelligence company Harmonic to develop mathematical superintelligence