Harmonic has raised $120 million in Series C funding led by Ribbit Capital, lifting the Palo Alto startup’s valuation to $1.45 billion. Founded in 2023 by Tudor Achim and Vlad Tenev, Harmonic builds AI based on formal mathematical reasoning. Its model, Aristotle, uses Lean4 to generate provable solutions and recently reached gold-medal performance at the IMO.