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.