Data as of Jul 25, 2026 · Based on 2,718,867 AI responses across 9,511 prompts · See how Parse measures this
Aristotlearistotle.harmonic.fun · Low evidenceAristotle is the world's most advanced formal reasoning agent, capable of autonomously proving and formalizing mathematical problems for up to 24 hours without human intervention. It integrates directly into Lean projects or code repositories, with its code contributions being accepted without modifications by leading formalization projects.
Harmonic AristotleAristotleParse Score