Harmonic, le startup de mathématiques d’IA du fondateur de Robinhood, dévoile un chatbot sans hallucinations

Harmonic, une startup axée sur l'intelligence artificielle fondée par le PDG de Robinhood, Vlad Tenev, a annoncé lundi le lancement en version bêta d'une application de chatbot disponible sur iOS et Android, permettant aux utilisateurs d'accéder à son modèle d'IA, baptisé Aristotle. Cette initiative vise à rendre plus accessible le modèle Aristotle, dont Harmonic affirme qu'il fournit des réponses « sans hallucinations » pour les questions nécessitant un raisonnement mathématique. Une prétention audacieuse, surtout en période où les modèles d'IA actuels font souvent face à des problèmes de fiabilité. La startup s'oriente vers la création d'une « superintelligence mathématique » (MSI), avec l'objectif à long terme d'aider les utilisateurs dans tous les domaines reposant sur les mathématiques, comme la physique, la statistique ou l'informatique. « Aristotle est le premier produit disponible pour le grand public capable de raisonner et de vérifier formellement ses réponses », a déclaré Tudor Achim, PDG et co-fondateur de Harmonic, dans un entretien avec TechCrunch. « Dans les domaines qu'Aristotle couvre, qui sont ceux du raisonnement quantitatif, nous garantissons effectivement qu'il n'y a pas d'hallucinations. » Harmonic prévoit également de lancer une API pour permettre aux entreprises d'accéder à Aristotle, ainsi qu'une application web destinée aux particuliers. Le lancement en bêta intervient quelques semaines après que la startup ait levé 100 millions de dollars lors d'une levée de fonds de série B, menée par Kleiner Perkins, à une valuation de 875 millions de dollars. Achim affirme que cette valorisation reflète la rapidité avec laquelle la société progresse dans sa quête de MSI. Plusieurs géants de la technologie s'efforcent de former leurs modèles d'IA à résoudre des problèmes mathématiques. Si la capacité à faire des mathématiques est précieuse en soi, elle est aussi considérée comme un domaine particulièrement vérifiable, exigeant des compétences de raisonnement fondamentales. Ces technologies pourraient avoir des applications utiles dans d'autres domaines. Achim explique que Harmonic obtient des solutions extrêmement précises grâce à l'utilisation de Lean, un langage de programmation open source. Avant de fournir une réponse aux utilisateurs, le modèle vérifie la correction de la solution via un processus algorithmique, sans recourir à l'IA. Selon lui, ce type de technologie est déjà utilisé pour valider les résultats dans des secteurs à haut risque, comme les dispositifs médicaux ou l'aviation. Même dans un domaine restreint, atteindre un fonctionnement sans hallucinations reste un défi majeur. Des études ont montré que les modèles d'IA les plus avancés présentent souvent des erreurs, et ce problème ne semble pas s'améliorer. Les derniers modèles d'OpenAI, par exemple, sont plus sujets à l'hallucination que les versions précédentes. Harmonic affirme qu'Aristotle a obtenu un résultat d'or lors du championnat international de mathématiques (IMO) de 2025, après avoir passé un test formel, c'est-à-dire que les problèmes ont été traduits en un format lisible par les machines. Google et OpenAI ont également développé des modèles qui ont réussi le test de l'IMO cette année, mais via des méthodes non formelles, c'est-à-dire en utilisant le langage naturel.