Harmonic announces mathematician sponsorships to accelerate mathematical superintelligence.

Aristotle learns to code, and sets the State-of-the-Art of 96.8% on the VERINA Code Verification Benchmark.

Ribbit Capital leads Harmonic's Series C funding, with significant participation from Emerson Collective and continued support from Sequoia Capital, Index Ventures, and Kleiner Perkins.

The Aristotle API is made publicly available to mathematicians, researchers, students, and the general public.

Kleiner Perkins leads Harmonic's Series B funding, with significant backing from Paradigm and continued support from Sequioa Capital and Index Ventures.

Aristotle achieves Gold Medal–level performance at the 2025 International Mathematical Olympiad.

Sequoia Capital leads Harmonic's Series A fundraise, with significant participation from Index Ventures.

Harmonic starts building mathematical superintelligence.