Harmonic, une startup AI co-fondée par le PDG de Robinhood, Vlad Tenev, a annoncé lundi le lancement bêta d’une application iOS et Android Chatbot où les utilisateurs peuvent accéder à son modèle AI, Aristote.
Avec ce lancement, la société vise à élargir l’accès à Aristote, qui prétend harmonie à offrir des réponses «sans hallucination» pour le raisonnement mathématique intivant – une affirmation audacieuse étant donné les problèmes vivants des modèles d’IA d’aujourd’hui. L’harmonique se concentre sur la création de «superintelligence mathématique» ou MSI; La startup souhaite finalement aider les utilisateurs avec tous les domaines qui reposent sur les mathématiques, comprenaient la physique, les statistiques et l’informatique.
« (Aristote) est le premier produit disponible pour les personnes qui raisonnent et vérifient officiellement la production », a déclaré Tudor Achim, PDG et co-fondateur de l’harmonique, dans une interview avec TechCrunch. « Dans les domaines qu’Aristote soutient, qui sont des domaines de raisonnement quantitatif, nous faisons en fait qu’il n’y a pas d’hallucinations. »
Finalement, Harmonic dit qu’il prévoit également de publier une API pour permettre aux entreprises d’accéder à Aristote, ainsi qu’une application Web pour les consommateurs.
Le lancement bêta intervient quelques semaines depuis que Harmonic a levé 100 millions de dollars dans une série de série B menée par Kleiner Perkins à une évaluation de 875 millions de dollars. Achim affirme que Harmonic «progresse très rapidement» son chemin vers la réalisation de MSI, et que les investisseurs pensaient que c’était une étendue de l’ambition de sa startup.
Achim dit que l’harmonique réalise son hyper-précis en faisant produire Aristote dans le langage de programmation open source Langue Lean. Avant qu’Aristote ne réponde aux utilisateurs, il dit que le modèle doute que la solution est correcte grâce à un processus algorithmique qui n’implique pas l’IA. Le PDG de Harmonic note que la technologie similaire est utilisée pour vérifier les sorties dans des champs à enjeux élevés tels que les dispositifs médicaux et l’aviation.
Même dans un domaine étroit, obtenir des performances sans hallucination d’un modèle d’IA est une tâche incroyablement difficile. Des études ont montré que même les modèles d’IA à la tête hallucinent beaucoup, et le problème ne semble pas s’améliorer. Les derniers modèles de raisonnement d’IA d’Openai hallucinent plus que ses anciens.
Événement TechCrunch
San Francisco
|
27-29 octobre 2025
Harmonic dit qu’Aristotle a réalisé des performances de médaille d’or sur l’Olympiade internationale de mathématiques de 2025 grâce à un test formel (ce qui signifie que les problèmes ont été traduits en machine – Google et OpenAI ont également développé des modèles d’IA qui achètent les performances de la médaille d’or de cette année, informée dans les tests de langage naturel.
