TechFlow, 26 novembre — Harmonic, une startup d'intelligence artificielle fondée par Vlad Tenev, PDG de Robinhood, a levé 120 millions de dollars avec une valorisation atteignant 1,45 milliard de dollars. Ce tour de financement a été mené par Ribbit Capital, avec la participation de Sequoia, Kleiner Perkins et du nouvel investisseur Emerson Collective.
La technologie centrale d'Harmonic, appelée « super-intelligence mathématique (MSI) », repose sur la logique formelle plutôt que sur la prédiction statistique, visant à résoudre le problème des hallucinations en IA. Son modèle phare, Aristotle, s'est distingué aux Olympiades internationales de mathématiques, atteignant un niveau comparable à celui des principaux laboratoires de recherche comme Google et OpenAI.
Aristotle génère, via le langage de programmation Lean4, des étapes de raisonnement vérifiables, garantissant que les conclusions reposent sur une logique rigoureuse. Cette technologie est particulièrement adaptée aux secteurs à haut risque tels que l'aérospatiale et la finance. Actuellement, Aristotle est accessible gratuitement via une API pour les développeurs et les mathématiciens, tandis que les plans commerciaux seront dévoilés ultérieurement.
