2025-11-26
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 of AI outputs.”...
Reuters
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
Krystal Hu / Reuters :