“Harmonic has achieved cutting-edge results in mathematical problem-solving, comparable to larger AI labs, particularly in its ability to solve International Mathematical Olympiad (IMO) problems.”