Harmonic is developing a mathematical reasoning engine aimed at enhancing the teaching of mathematics, creating truthful AI, and ensuring software safety in critical domains.