‹Back to Portfolio

Harmonic

Research

AI system for frontier mathematical reasoning, capable of autonomously discovering and verifying formal proofs across advanced areas of pure and applied mathematics.