Start-up : Harmonic vient de lever 120 M$ portant sa valorisation à 1,45 Mds de dollars

Harmonic, une jeune pousse spécialisée dans l'intelligence artificielle et cofondée par le PDG de Robinhood, Vlad Tenev, vient de lever 120 millions de dollars lors d'un nouveau tour de table, portant sa valorisation à 1,45 milliard de dollars. La société s'attaque au problème des « hallucinations » de l'IA -- ces réponses incorrectes ou incohérentes -- en renforçant la capacité de raisonnement de ses modèles.

Ce tour de financement de série C, pour une entreprise qui n'a pas encore généré de revenus, a été mené par Ribbit Capital, avec la participation des investisseurs historiques Sequoia et Kleiner Perkins. Emerson Collective, la société d'investissement de Laurene Powell Jobs, rejoint également le capital en tant que nouvel investisseur.

Il s'agit de la troisième levée de fonds majeure pour Harmonic en quatorze mois, ce qui porte le total des capitaux levés à 295 millions de dollars. Un engouement qui témoigne de l'intérêt marqué des investisseurs pour les start-up cherchant à rendre l'IA plus fiable et précise, même en l'absence de produits commerciaux. Harmonic développe ce qu'elle appelle une « Superintelligence Mathématique » (MSI), une forme d'IA axée sur le raisonnement avancé, que l'entreprise affirme être exempte d'hallucinations et d'autres erreurs factuelles qui affectent de nombreux modèles d'IA générative. Son modèle phare, baptisé Aristotle et entraîné sur des démonstrations mathématiques synthétiques -- des exemples générés par ordinateur pour enseigner la résolution de problèmes -- a atteint un niveau de performance parmi les meilleurs lors de l'Olympiade Internationale de Mathématiques en juillet, aux côtés de Google et OpenAI. Un succès qui, selon le PDG Tudor Achim, a contribué à susciter l'intérêt des investisseurs. Fondée en 2023, Harmonic affirme parvenir à ce résultat en utilisant le raisonnement formel, exigeant que son IA produise son raisonnement sous forme de code informatique dans le langage de programmation Lean4, ce qui permet de vérifier la justesse des réponses. La majeure partie des nouveaux fonds sera consacrée à la puissance de calcul colossale nécessaire à l'entraînement de ses modèles, selon Achim.

En misant sur une logique vérifiable et sans erreur, Harmonic vise à instaurer la confiance dans l'IA auprès des secteurs critiques comme l'aéronautique et la finance, où la moindre erreur peut avoir des conséquences graves. « L'élimination des hallucinations découle directement du fait que nous exigeons de notre système qu'il produise le raisonnement sous forme de code, plutôt qu'en anglais », a expliqué Tudor Achim lors d'un entretien. Harmonic propose actuellement son modèle Aristotle au public via une API gratuite, un outil permettant aux développeurs d'intégrer le modèle à leurs propres logiciels. L'entreprise indique que des mathématiciens et chercheurs utilisent déjà cet outil pour vérifier des démonstrations complexes et accélérer de nouvelles découvertes. Achim précise que la société envisage une commercialisation future.

« Je pense qu'il existe certains domaines du développement logiciel où la sécurité et la fiabilité sont primordiales », a-t-il ajouté, soulignant également la demande des secteurs critiques tels que l'automobile et l'aéronautique.