Harmonic
Harmonic is leading the development of Mathematical Superintelligence (MSI), having already developed a system that achieves 90% on MiniF2F, the top formal mathematics benchmark. Harmonic was founded by Robinhood CEO Vlad Tenev and Helm.ai co-founder Tudor Achim.
Specification
Work Type
Onsite
Stage
Series B
Industry
AI
Location
Palo Alto, United States