Harmonic

Harmonic is an AI research laboratory building Aristotle, a mathematical reasoning engine aimed at verifiably correct reasoning and mathematical superintelligence.