La startup Harmonic, cofondée par le PDG de Robinhood, Vlad Tenev, vient de lancer en version bêta son application mobile de chatbot IA baptisée Aristotle.
Disponible sur iOS et Android, cette nouvelle solution vise à fournir des réponses fiables et vérifiées dans les domaines du raisonnement mathématique, en promettant des performances sans “hallucinations” — un exploit encore rare dans l’univers des modèles d’intelligence artificielle.
Lire aussi :
- Les prix des produits populaires sur Amazon ont augmenté depuis l’entrée en fonction de Trump
- Comment Daniel Liss, co-fondateur de Dispo, transforme-t-il l’industrie de l’acier grâce à l’IA avec Nemo Industries ?
Un chatbot centré sur l’intelligence mathématique
Harmonic se spécialise dans ce qu’elle appelle la « superintelligence mathématique » (MSI). Grâce à Aristotle, l’objectif est d’offrir une IA capable d’aider dans tous les domaines qui s’appuient fortement sur les mathématiques, comme la physique, la statistique ou encore l’informatique. Selon Tudor Achim, PDG de Harmonic, la grande force de leur outil repose sur sa capacité à vérifier formellement chaque réponse, garantissant ainsi l’absence d’erreurs générées par IA.
Des performances impressionnantes au test de l’Olympiade de mathématiques
Aristotle a obtenu une médaille d’or au concours 2025 de l’International Math Olympiad (IMO) à travers un test formel, où les problèmes ont été traduits en langage machine. Ce résultat le place au même niveau que les modèles d’OpenAI et de Google, qui ont aussi décroché l’or cette année mais avec des tests en langage naturel. Cette distinction renforce la crédibilité du modèle sur sa spécialisation dans le raisonnement rigoureux.
Une vérification algorithmique inédite dans les chatbots IA
Pour garantir l’exactitude des réponses, Aristotle génère ses solutions dans le langage de programmation Lean, reconnu pour sa rigueur mathématique. Une fois la réponse produite, un algorithme non basé sur l’IA vient valider le résultat. Cette approche est inspirée des systèmes utilisés dans des secteurs sensibles comme les dispositifs médicaux ou l’aviation, où la moindre erreur peut avoir des conséquences graves.
Un financement solide pour une ambition de taille
Ce lancement intervient peu après que Harmonic a levé 100 millions de dollars lors d’un tour de table de série B, atteignant une valorisation de 875 millions de dollars. Ce financement va permettre à la startup d’accélérer le développement de ses fonctionnalités, notamment avec la sortie prochaine d’un accès API pour les entreprises et d’une version web de son chatbot.
Quel modèle d’IA récent est le plus adapté aux tâches de codage et de mathématiques ?
Dans un contexte où les géants de la tech misent de plus en plus sur l’IA pour résoudre des problèmes mathématiques complexes, Harmonic tente de se démarquer par une approche axée sur la vérifiabilité. Si son pari sur l’absence d’hallucination tient ses promesses, Aristotle pourrait devenir un outil incontournable pour les chercheurs, ingénieurs et étudiants.
