ChatGPT, à l'écart : 100 millions de dollars pour une IA qui prouve ses réponses par la logique
L'intelligence mathématique supérieure a volé la vedette aujourd'hui alors que Harmonic AI, une startup basée à Palo Alto, a levé 100 millions de dollars en financement de série B pour développer Aristotle AI, son moteur phare de raisonnement mathématique formel. En s'appuyant sur Lean 4, en utilisant des données synthétiques et en redéfinissant la logique humaine, l'entreprise vise à révolutionner la manière dont le monde aborde le calcul rigoureux et la validation des connaissances. "Nous nous rapprochons d'une IA capable de raisonner véritablement — rapidement, de manière fiable et à grande échelle", a déclaré le cofondateur et président exécutif Tenev. Les applications potentielles d'Aristotle AI s'étendent à plusieurs secteurs critiques, notamment l'aérospatiale, la finance, la pharmacie et l'éducation. Ce financement, mené par Kleiner Perkins, porte la valorisation de Harmonic AI à près de 900 millions de dollars.
Aristotle AI se distingue des outils d'IA générative en fournissant des solutions mathématiquement prouvées, une caractéristique essentielle pour les secteurs où la sécurité est primordiale. Son succès repose sur Lean 4, un système formel qui permet de vérifier chaque preuve jusqu'au dernier symbole. Cette approche garantit une transparence totale, l'IA signalant toute lacune ou incohérence. Avec un taux de réussite de 90 % sur le benchmark MiniF2F, Aristotle AI établit une nouvelle référence en matière de raisonnement mathématique formel.
Harmonic AI, fondée en 2023 par le PDG de Robinhood Vlad Tenev et le chercheur en IA Tudor Achim, mise sur l'auto-formation récursive et les données synthétiques pour faire progresser son modèle. Contrairement aux modèles traditionnels, Aristotle AI génère ses propres paires problème-preuve, évoluant ainsi de manière autonome. "Harmonic a créé une nouvelle base pour un raisonnement vérifié et évolutif, digne de confiance dans des environnements à haut risque", a déclaré Ilya Fushman, partenaire chez Kleiner Perkins. Les fonds levés serviront à accélérer le déploiement commercial d'Aristotle AI et à étendre ses équipes dédiées aux applications critiques.
