Harmonic: AI-Chatbot mit "halluzinationsfreien" Antworten

Harmonic, ein AI-Startup, das von Vlad Tenev, dem CEO von Robinhood, mitgegründet wurde, hat am Montag die Beta-Version einer iOS- und Android-Chatbot-App angekündigt. In dieser App können Nutzer auf das AI-Modell „Aristotle“ zugreifen. Das Unternehmen behauptet, dass Aristotle Antworten auf mathematische Fragen liefert, die „halluzinationsfrei“ sind, was eine starke Aussage ist, da viele aktuelle KI-Modelle Schwierigkeiten mit der Zuverlässigkeit haben. Harmonic strebt nach der Entwicklung einer „mathematischen Superintelligenz“ (MSI) und will künftig Nutzern in Bereichen wie Physik, Statistik und Informatik helfen. „Aristotle ist das erste Produkt, das Menschen zugänglich ist und dabei Reasoning betreibt und die Ergebnisse formal überprüft“, sagte Tudor Achim, CEO und Mitgründer von Harmonic, in einem Interview mit TechCrunch. „Innerhalb der Bereiche, die Aristotle abdeckt, können wir garantieren, dass keine Halluzinationen auftreten.“ Das Startup plant, in Zukunft auch eine API für Unternehmen und eine Webanwendung für Verbraucher zu veröffentlichen. Die Beta-Version folgt auf eine Serie-B-Finanzierungsrunde, bei der Harmonic 100 Millionen Dollar bei einer Bewertung von 875 Millionen Dollar sammelte. Achim betonte, dass das Unternehmen schnell Fortschritte bei der Entwicklung der MSI macht und dass Investoren diese Bewertung als gerechtfertigt betrachten. Viele große Technologieunternehmen arbeiten daran, ihre KI-Modelle in der Fähigkeit, mathematische Probleme zu lösen, zu verbessern. Mathematik gilt als ein eindeutig verifizierbares Gebiet, das grundlegende logische Fähigkeiten erfordert. Solche Systeme könnten auch in anderen Bereichen nützlich sein. Harmonic erreicht seine hohe Genauigkeit, indem Aristotle Antworten in der Open-Source-Programmiersprache Lean generiert. Bevor die Antwort an den Nutzer gesendet wird, überprüft das Modell sie durch einen algorithmischen Prozess, der nicht auf KI basiert. Achim verwies darauf, dass ähnliche Technologien in sicherheitskritischen Bereichen wie Medizintechnik und Luftfahrt verwendet werden. Selbst in einem engen Bereich ist es schwierig, eine KI zu entwickeln, die keine Halluzinationen aufweist. Studien haben gezeigt, dass auch führende KI-Modelle häufig Halluzinationen produzieren, und das Problem scheint sich nicht zu bessern. OpenAI’s neueste KI-Modell zur Reasoning-Fähigkeit halluciniert sogar mehr als ältere Versionen. Harmonic gab bekannt, dass Aristotle bei der 2025er Internationalen Mathematik-Olympiade (IMO) eine Goldmedaille erzielte, indem es eine formale Prüfung absolvierte. Google und OpenAI entwickelten ebenfalls KI-Modelle, die eine Goldmedaille auf der IMO erzielten, allerdings durch informelle Tests in natürlicher Sprache. Die Bewertung der technologischen Leistung von Harmonic durch Experten ist gemischt. Während einige die Fähigkeit, Halluzinationen zu vermeiden, als bedeutenden Schritt in Richtung verlässlicherer KI anerkennen, kritisieren andere, dass die Anwendungsbereiche von Aristotle noch sehr beschränkt sind. Harmonic ist ein relativ neues Unternehmen mit klaren Ambitionen, das sich auf mathematische Probleme spezialisiert hat und mit starken Investoren wie Kleiner Perkins aufwartet.