Das KI-Start-up Harmonic hat am Dienstag, dem 27. Oktober, die Erweiterung seines Modells Aristotle angekündigt: Es soll sich nicht mehr nur auf mathematische Beweise konzentrieren, sondern auch Software und Chipentwürfe überprüfen. Informationsstatus: ERKLÄRUNG des Unternehmens — die Ankündigung wurde von Reuters gemeldet, doch der Agenturtext enthält keine unabhängige Überprüfung der neuen Fähigkeiten und keine vergleichenden Testergebnisse.
Dem Unternehmen zufolge kann Aristotle nun in C geschriebene Software und in Verilog geschriebene Chipentwürfe überprüfen; Verilog ist die Sprache, mit der Hardware beschrieben wird. Die Idee ist, denselben Ansatz der formalen Verifikation, den Harmonic in der Mathematik nutzt — bei dem eine Antwort nicht nur plausibel, sondern nachweislich korrekt ist — auf Code und Schaltkreise anzuwenden, bei denen ein Fehler teuer werden kann.
Der Kontext hilft, den Zeitpunkt der Ankündigung zu verstehen. Laut Reuters nutzten Forscher die Technologie kürzlich, um kritische Fehler in PHP aufzudecken, was einen weltweiten Wettlauf um Korrekturen auslöste. Der Bericht nennt weder die konkreten Fehler, noch wer sie fand, noch welche PHP-Version betroffen war; diese Punkte werden hier nicht als bestätigt dargestellt.
Das konkrete Beispiel, das Reuters anführt, stammt aus dem Fusionslabor DIII-D in den USA: Dem Labor zufolge baute Aristotle einen Teil der Reaktorsteuerungssoftware innerhalb von vier Stunden neu — ausgehend von einem einzigen wissenschaftlichen Aufsatz und einer Anweisung mit 254 Wörtern. Es handelt sich um die Darstellung des Labors selbst, die von der Agentur wiedergegeben wurde, nicht um einen veröffentlichten unabhängigen Test.
Harmonic beschreibt seine Arbeit als „mathematische Superintelligenz“, eine auf Schlussfolgerungen ausgerichtete KI, die Halluzinationen und sachliche Fehler verringern soll. Das Unternehmen wurde von Vlad Tenev, dem Vorstandsvorsitzenden von Robinhood, mitgegründet; zu seinen Unterstützern zählen NVentures, der Risikokapitalarm von Nvidia, sowie Sequoia und Ribbit Capital. Im November vergangenen Jahres sammelte Harmonic 120 Millionen US-Dollar ein, in einer Runde, die das Unternehmen mit 1,45 Milliarden US-Dollar bewertete, so Reuters. Aristotle ist mit nutzungsabhängigen Preisen verfügbar, doch die Tarife wurden in dem Bericht nicht offengelegt.
Zum Vergleich: Aristotle wurde 2025 mit einer Leistung auf Goldmedaillenniveau bei der Internationalen Mathematik-Olympiade 2025 eingeführt, mit formal verifizierten Lösungen, so Harmonic selbst. Die jetzt angekündigte Erweiterung ist daher eine Änderung des Anwendungsbereichs — von der Mathematik zur Software- und Chiptechnik — und kein neues Modell.
Bildnachweis: illustrative Halbleiter-Abbildung, via Tech Xplore.
Fontes: Reuters — Harmonic erweitert Aristotle auf Software- und Chipverifikation e BusinessWire — Harmonic startet Aristotle mit Goldleistung bei der IMO 2025
Transparenz: Dieser Artikel wurde mit Unterstützung künstlicher Intelligenz erstellt, auf Grundlage des Abgleichs öffentlicher Beiträge und der unten genannten Internetquellen. Bitte prüfen Sie die Originalquellen, um die Details zu bestätigen.
Muse
