<ul data-eligibleForWebStory="false"><li>Harmonic AI Inc. raised $100 million in funding to scale its flagship AI model, Aristotle, which focuses on formal mathematical reasoning.</li><li>Aristotle, Harmonic's AI engine, utilizes the Lean 4 proof assistant to translate natural-language math problems into verifiable proofs, achieving a 90% success rate on standard benchmarks.</li><li>Harmonic uses synthetic data generation for training, enabling recursive self-improvement of the AI model to solve advanced mathematical problems that exceed human capabilities.</li><li>The funding round was led by Kleiner Perkins Caufield & Byers, with participation from other investors, aiming to apply Aristotle's capabilities in fields like theoretical physics and engineering.</li></ul>

Harmonic raises $100M at nearly $900M valuation to scale AI model for formal mathematical reasoning

Discover more