“Users of Harmonic's public API have successfully solved Erdos problems that had remained unsolved for 30 to 40 years.”