Aristotle
#21 in KI-MusikgenerierungHarmonic · seit 28. Juli 2025 (Beta-Launch der App); API-Beta ab Herbst 2025 · 4× · zuletzt 30. Juni 2026
1
Momentum
Aristotle ist ein von Harmonic (Concordance Inc.) entwickeltes KI-System für formales mathematisches Schlussfolgern. Es formalisiert natürlichsprachliche Matheaufgaben in der Programmiersprache Lean 4 und erzeugt maschinell verifizierbare Beweise, wodurch Halluzinationen im unterstützten quantitativen Bereich ausgeschlossen werden sollen. Das Produkt ist als kostenlose Web-Plattform/App, iOS/Android-Chatbot-App sowie als kostenpflichtige Entwickler-API verfügbar und erzielte laut Hersteller Gold-Medaillen-Niveau bei der IMO 2025 sowie Platz 1 im ProofBench-Ranking von ValsAI.
Momentum-Verlauf
19.05.17.08.
Features
| Lizenz | Proprietär; Nutzung unterliegt den Aristotle-Nutzungsbedingungen von Concordance Inc. dba Harmonic |
| Plattform | iOS-App, Android-App, Web-Interface, Kommandozeile (CLI) und API |
| Preis | Web-Nutzung kostenlos; API teils als kostenlose Community-Version, sonst nutzungsbasiert (keine offizielle Preisliste veröffentlicht) |
| Release-Datum | 28. Juli 2025 (Beta-Launch iOS/Android-App) |
| Sprachen | Englisch (natürlichsprachlicher Input), Ausgabe/Verifikation in Lean 4 |