Harmonic vient de réaliser un exploit rare en 2025 : une levée de fonds de série C de 120 millions de dollars pour une valorisation de 1.45 milliard de dollars, sans le moindre revenu.
Cofondée en 2023 par Vlad Tenev, PDG de Robinhood, et Tudor Achim, cette AI Le laboratoire poursuit un objectif ambitieux : une superintelligence mathématique qui élimine les hallucinations grâce à la logique formelle.
Le génie derrière une IA sans erreur
pont AI Les modèles devinent les réponses en se basant sur des schémas. Harmonique's La machine d'Aristote les prouve mathématiquement.
Chaque calcul est vérifié à l'aide du langage de programmation Lean4, transformant le raisonnement en code vérifiable. Aucune conjecture. Aucune illusion. Uniquement une logique prouvable.
C'est important parce que AI erreurs dans l'aérospatiale, la finance ou la blockchain en terrain de jeu peut coûter des vies et des milliards.
Ventilation du financement harmonique
| Ronde | Montant | Investisseur principal | Évaluation | Date |
|---|---|---|---|---|
| Série C | 120 M$ | Capital Ribbit | $ 1.45B | novembre 2025 |
| Série B | 100 M$ | Kleiner Perkins | ~ 900 M $ | Juillet 2023 |
| de série A | 75 M$ | Sequoia Capital | À ne pas divulguer | Septembre 2024 |
| Total collecté | 295 M$ | - | - | - |
Pourquoi les investisseurs en capital-risque se précipitent-ils pour financer Harmonic ?
Ribbit Capital a mené ce tour de table, rejoint par Sequoia, Kleiner Perkins et Emerson Collective en tant que nouvel investisseur.
La dynamique est stupéfiante : trois levées de fonds en seulement 14 mois. Aristote's La performance réalisée lors des Olympiades internationales de mathématiques en juillet 2025, où l'équipe affrontera directement Google et OpenAI, a renforcé la confiance des investisseurs.
Actuellement, Harmonic propose Aristote via une API gratuite. Mathématiciens et chercheurs l'utilisent déjà pour vérifier des démonstrations complexes.
Connectez-vous avec Harmonic
| Plateforme complète | Lien |
|---|---|
| Site Web | harmonique.amusant |
| /entreprise/harmonicmath | |
| @HarmonicMath |
Qu'est-ce qui rend ce pari différent ?
Les licornes en phase de pré-revenus sont généralement confrontées au scepticisme. Mais Harmonic's L'approche de vérification formelle résout un problème de plusieurs milliards de dollars : la fabrication AI Fiable pour les systèmes critiques.
Ce nouveau capital permettra de financer les ressources informatiques massives nécessaires à l'entraînement des modèles de raisonnement mathématique. Comme l'a expliqué le PDG Tudor Achim, la suppression des hallucinations passe par la génération du raisonnement sous forme de code, et non par son élimination. langage naturel.
Pour les industries sensibles à la sécurité, cela's non seulement innovant, mais aussi's essentiel.
Références
BONUS: Obtenez notre 200 $ «AI « Boîte à outils de maîtrise » GRATUITE lors de votre inscription !
