“`html
Harmonic, une startup d’intelligence artificielle cofondée par Vlad Tenev, le PDG de Robinhood, a annoncé lundi le lancement en version bêta d’une application chatbot pour iOS et Android. Avec cette application, les utilisateurs peuvent accéder au modèle IA d’Harmonic, nommé Aristote. La société vise à élargir l’accès à Aristote, qu’elle prétend offrir des réponses “sans hallucinations” pour des questions impliquant le raisonnement mathématique, une affirmation audacieuse compte tenu des problèmes de fiabilité des modèles IA actuels.
Harmonic se concentre sur la création d’une “superintelligence mathématique” ou MSI. La startup souhaite finalement aider les utilisateurs dans tous les domaines qui reposent sur les mathématiques, y compris la physique, les statistiques et l’informatique. “Aristote est le premier produit disponible pour le public qui réalise du raisonnement et vérifie formellement la sortie”, a déclaré Tudor Achim, PDG et cofondateur d’Harmonic, dans une interview accordée à TechCrunch. “Dans les domaines que supporte Aristote, qui sont des domaines de raisonnement quantitatif, nous garantissons effectivement qu’il n’y a pas d’hallucinations.”
Harmonic vise à devenir un acteur de premier plan dans le monde de l’IA grâce à des solutions mathématiques précises.
En plus de l’application mobile, Harmonic prévoit également de lancer une API destinée aux entreprises pour accéder à Aristote, ainsi qu’une application web pour les consommateurs. Selon Harmonic, Aristote a obtenu une performance de médaille d’or lors de la Olympiade Internationale de Mathématiques 2025 (IMO) grâce à un test formel, les problèmes ayant été traduits dans un format lisible par machine. Tandis que Google et OpenAI ont également développé des modèles IA obtenant des performances similaires lors de tests informels en langage naturel, Harmonic préfère ne pas divulguer d’autres benchmarks pour Aristote à ce stade.
Le lancement en bêta d’Aristote intervient quelques semaines après qu’Harmonic a levé 100 millions de dollars lors d’un tour de financement de série B mené par Kleiner Perkins, avec une valorisation de 875 millions de dollars. Achim affirme qu’Harmonic “avance très rapidement” sur le chemin vers l’atteinte de la MSI, et que les investisseurs estiment que cette valorisation reflète bien l’ambition de sa startup.
Plusieurs grandes entreprises technologiques se concentrent sur la formation de leurs modèles IA pour résoudre des problèmes mathématiques. L’IA capable de traiter les mathématiques est précieuse en soi, mais les mathématiques sont également considérées comme un domaine unique et vérifiable qui exige des compétences de raisonnement fondamentales. Les systèmes qui développent ces capacités pourraient également se montrer utiles dans d’autres domaines. Achim explique qu’Harmonic obtient ses solutions hyper-précises en faisant produire des réponses par Aristote dans le langage de programmation open source Lean. Avant de fournir une réponse aux utilisateurs, il vérifie que la solution est correcte à travers un processus algorithmique qui n’implique pas l’IA, une technologie également utilisée pour vérifier les résultats dans des secteurs à enjeux élevés comme les dispositifs médicaux et l’aviation.
Atteindre un rendement sans hallucination, même dans un domaine restreint, est une tâche incroyablement difficile. Des études ont révélé que même les modèles IA les plus avancés ont tendance à halluciner fréquemment, et ce problème ne semble pas s’améliorer. Les derniers modèles de raisonnement IA d’OpenAI hallucinent davantage que ses anciens. Les ambitions d’Harmonic dans le secteur de l’IA en font une startup à surveiller de près dans les années à venir.
“`
