Aristotle
#21 in KI-MusikgenererenHarmonic · siet 28. Juli 2025 (Beta-Launch der App); API-Beta ab Herbst 2025 · 4× · tolest 30. Juni 2026
1
Momentum
Aristotle is an AI system developed by Harmonic (Concordance Inc.) for formal mathematical reasoning. It formalizes natural-language math problems into the Lean 4 programming language and produces machine-verifiable proofs, aiming to eliminate hallucinations within its supported quantitative domains. The product is available as a free web platform/app, an iOS/Android chatbot app, and a paid developer API, and the company claims gold-medal-level performance at IMO 2025 and the #1 rank on ValsAI's ProofBench leaderboard.
Momentum-Verloop
19.05.17.08.
Features
| License | Proprietary; usage governed by Aristotle Terms of Use from Concordance Inc. dba Harmonic |
| Platform | iOS app, Android app, web interface, command-line interface (CLI), and API |
| Price | Free web usage; API partly offered as free community tier, otherwise usage-based (no official price list published) |
| Release Date | July 28, 2025 (beta launch of iOS/Android app) |
| Languages | English (natural-language input), output/verification in Lean 4 |