Harmonic

Active

Harmonic is building a state-of-the-art mathematical reasoning engine in pursuit of mathematical superintelligence.

Harmonic is building a state-of-the-art mathematical reasoning engine in pursuit of mathematical superintelligence. It aims to change the way math is taught, build truthful AI and verify software for safety-critical domains. harmonic.fun