Please enable JavaScript to view this website.
Loading
Recognizing the potential for mathematicians to accelerate the advent of Mathematical Superintelligence (MSI), Harmonic is excited to provide $1 million of sponsorships directly to students and researchers.
Sometimes in the course of software engineering, difficult bugs arise that existing tools aren’t able to solve, or even shed much light on. These sometimes result in trial-and-error debugging, or abandoning the approach entirely and trying a different path, but sometimes neither of those options are suitable either.…
Our infrastructure team has developed a custom Protocol Buffers implementation for Python, named pbcc, to replace the standard library in our high-performance workloads. pbcc is a streamlined compiler that generates specialized C++ code for Protobuf messages, enabling us to handle massive datasets in memory with sig…
Since Harmonic’s inception, our charter has been to forge the world’s most advanced mathematical reasoning engine. We have made significant progress this year, becoming among the first AI models to achieve Gold-medal level performance at the International Mathematical Olympiad, the most prestigious mathematics compe…
We’re excited to announce that we’ve raised $120 million in Series C funding to support our rapid progress in developing the world’s most advanced mathematical reasoning model. Led by Ribbit Capital, the round values Harmonic at $1.45 billion and included significant participation from Sequoia Capital, Index Venture…
Earlier this year, we were proud to announce Aristotle’s gold medal-level performance on the 2025 International Mathematical Olympiad providing visibility into our proofs as well as open sourcing Yuclid. Today, we’re pleased to be pulling back the curtain even further giving an unprecedented view into Aristotle.
Our infrastructure team has developed a custom automated reinforcement learning system to continuously improve our models for proving Lean theorems. A critical part of this system is our Lean execution framework, which we’ve named the REPL service. The REPL service is responsible for all interactions between our mod…
