“Harmonic's AI models for solving math problems have, in the past year, surpassed the mathematical abilities of co-founder Vlad Tenev, a former math PhD student at UCLA.”