Harmonic, an AI math startup co-founded by Vlad Tenev, raised a $120M Series C led by Ribbit at a $1.45B valuation, bringing its total funding to $295M
Congratulations to @HarmonicMath on their $1.45B valuation! Their approach of requiring AI to “output reasoning as [Lean] code instead of reasoning as English” is exactly the type of effort the @VentureBeat highlighted this week when it stated “Lean4 adds a layer of trust on top…
The company I work at, @HarmonicMath, has just announced its series C fundraise. That's the second time I have joined a company which has then shortly afterwards become a unicorn! https://www.reuters.com/...