Harmonic, une jeune pousse en intelligence artificielle cofondée par le PDG de Robinhood Vlad Tenev, a lancé la version bêta de son application de clavardage pour iOS et Android mettant en vedette Aristote, un modèle d’IA conçu spécifiquement pour le raisonnement mathématique sans hallucinations.
L’entreprise, qui a récemment levé 100 millions de dollars lors d’un financement de série B portant sa valorisation à 875 millions de dollars, se distingue des modèles d’IA traditionnels en misant sur la superintelligence mathématique (MSI). Contrairement aux grands modèles de langage conventionnels qui peinent avec les calculs complexes, Aristote a été développé dès le départ pour garantir l’exactitude dans les domaines quantitatifs.
« Aristote est le premier produit accessible au public qui effectue du raisonnement et vérifie formellement ses résultats », affirme Tudor Achim, PDG et cofondateur de Harmonic. « Dans les domaines que couvre Aristote, c’est-à-dire ceux du raisonnement quantitatif, nous garantissons réellement l’absence d’hallucinations. »
Le système atteint ce niveau de précision remarquable grâce à un processus en deux étapes. D’abord, Aristote traduit les problèmes mathématiques en langage naturel vers Lean 4, un langage de programmation libre servant d’assistant de preuve qui permet de vérifier la justesse des définitions et théorèmes mathématiques. Ensuite, avant de fournir une réponse à l’utilisateur, le modèle vérifie à nouveau les solutions à l’aide d’un processus algorithmique indépendant de l’IA — une méthode similaire à celles utilisées dans des secteurs critiques comme les dispositifs médicaux et l’aviation.
Harmonic affirme qu’Aristote a obtenu une performance de médaille d’or à l’Olympiade internationale de mathématiques (OIM) 2025 lors de tests formels, où les problèmes étaient traduits en format lisible par machine. Cette réussite survient la même année où des modèles d’IA de Google DeepMind et OpenAI ont également atteint le niveau de médaille d’or à l’OIM, mais lors de tests informels réalisés en langage naturel.
Les ambitions de l’entreprise dépassent le cadre des mathématiques. Harmonic estime que la MSI aidera les utilisateurs dans tous les domaines nécessitant un raisonnement mathématique, notamment la physique, les statistiques et l’informatique. À terme, l’entreprise prévoit de lancer une API pour les entreprises ainsi qu’une application web destinée au grand public, ce qui pourrait transformer la façon dont les industries abordent les problèmes nécessitant un raisonnement quantitatif précis.