Robinhood CEO's math-focused AI startup Harmonic valued at $1.45B