La startup d'IA Harmonic, cofondée par Vlad Tenev, PDG de Robinhood, a réussi à lever 120 millions de dollars lors d'un tour de financement mené par Ribbit Capital, avec la participation de Sequoia, Kleiner Perkins et Emerson Collective. Ce dernier investissement porte la valorisation de Harmonic à 1,45 milliard de dollars. La technologie innovante de Harmonic, appelée « Intelligence Mathématique Supérieure (IMS) », est conçue pour surmonter les problèmes d'hallucinations de l'IA en utilisant la logique formelle plutôt que la prédiction statistique. Son modèle phare, Aristotle, a obtenu des résultats impressionnants à l'Olympiade Internationale de Mathématiques, rivalisant avec les meilleurs laboratoires de recherche tels que Google et OpenAI. Aristotle utilise le langage de programmation Lean4 pour produire des étapes de raisonnement vérifiables, ce qui le rend particulièrement précieux pour les secteurs à haut risque comme l'aérospatiale et la finance. Actuellement, le modèle est accessible aux développeurs et aux mathématiciens via une API gratuite, avec des plans de commercialisation en cours.