Harmonic startet KI-Chatbot-App zur mathematischen Superintelligenz

SAN FRANCISCO / LONDON (IT BOLTWISE) – Die Firma Harmonic hat mit ihrer App Zugriff auf das KI-Modell “Aristotle” ermöglicht, das laut eigener Aussage “halluzinationsfreie” Antworten im Bereich mathematischen Denkens liefert. Ziel von Harmonic ist die Entwicklung einer mathematischen Superintelligenz, die auch in angrenzenden Bereichen wie Physik oder Informatik präzise Unterstützung bieten kann. Aristotle überprüft seine Antworten mithilfe formaler Verifizierungsprozesse in der Programmiersprache Lean, ohne andere KI-Komponenten zu verwenden – ein Verfahren, das auch in sicherheitskritischen Branchen eingesetzt wird. Das Modell soll bald über eine API und eine Web-App verfügbar sein, unterstützt durch eine Series-B-Finanzierung über 100 Millionen Dollar. Trotz der allgemeinen Probleme heutiger KI-Modelle mit Halluzinationen, konnte Aristotle bereits eine Goldmedaille bei der Mathematik-Olympiade 2025 durch formale Prüfungen erringen.

Harmonic, ein von Robinhood-CEO Vlad Tenev mitgegründetes KI-Startup, hat kürzlich die Beta-Version einer Chatbot-App für iOS und Android vorgestellt. Diese App ermöglicht den Zugang zu ihrem KI-Modell namens Aristotle. Harmonic behauptet, dass Aristotle in der Lage ist, “halluzinationsfreie” Antworten auf Fragen zu mathematischem Denken zu liefern, was angesichts der bekannten Zuverlässigkeitsprobleme heutiger KI-Modelle eine mutige Aussage ist.

Das Unternehmen verfolgt das Ziel, eine “mathematische Superintelligenz” (MSI) zu entwickeln, die letztlich in allen Bereichen, die auf Mathematik basieren, wie Physik, Statistik und Informatik, Unterstützung bieten soll. Laut Tudor Achim, CEO und Mitbegründer von Harmonic, ist Aristotle das erste Produkt, das formale Verifizierungen der Ausgaben durchführt und innerhalb der unterstützten quantitativen Bereiche garantiert, dass keine Halluzinationen auftreten.

In naher Zukunft plant Harmonic, eine API zu veröffentlichen, die Unternehmen den Zugang zu Aristotle ermöglicht, sowie eine Web-App für Verbraucher. Der Start der Beta-Version erfolgt nur wenige Wochen nach einer erfolgreichen Series-B-Finanzierungsrunde, bei der Harmonic 100 Millionen US-Dollar unter der Leitung von Kleiner Perkins bei einer Bewertung von 875 Millionen US-Dollar einwerben konnte.

Achim erklärt, dass Harmonic seine hochpräzisen Lösungen dadurch erreicht, dass Aristotle Antworten in der Open-Source-Programmiersprache Lean generiert. Bevor Aristotle eine Antwort gibt, überprüft das Modell die Lösung durch einen algorithmischen Prozess, der keine KI einbezieht. Ähnliche Technologien werden in hochsensiblen Bereichen wie Medizintechnik und Luftfahrt zur Verifizierung von Ausgaben eingesetzt.

Selbst in einem engen Bereich ist es eine enorme Herausforderung, eine halluzinationsfreie Leistung von einem KI-Modell zu erreichen. Studien haben gezeigt, dass selbst führende KI-Modelle häufig halluzinieren, und das Problem scheint sich nicht zu verbessern. OpenAIs neueste KI-Modelle für logisches Denken halluzinieren sogar mehr als ihre älteren Versionen.

Harmonic berichtet, dass Aristotle bei der Internationalen Mathematik-Olympiade 2025 eine Goldmedaille durch einen formalen Test erreicht hat, bei dem die Probleme in ein maschinenlesbares Format übersetzt wurden. Auch Google und OpenAI haben KI-Modelle entwickelt, die bei der diesjährigen Olympiade Goldmedaillen durch informelle Tests in natürlicher Sprache gewonnen haben.

Unseren KI-Morning-Newsletter «Der KI News Espresso» mit den besten KI-News des letzten Tages gratis per eMail - ohne Werbung: Hier kostenlos eintragen!