Harmonic, every mention
3 scenes · ← back to Harmonic
tap a year for its mentions
every year anyone Carina Hong 4Brandon Anderson 3
Verbatim, from the transcripts: the passages where Harmonic comes up
Scaling Past Informal AI - Carina Hong, Axiom Math
- ▶ 25:33 Carina Hong In fact, like, you know, GPT found a proof to an unsolved Erdos problem, and our competitor Harmonic, you know, Aristotle, um, you know, verified it.
- ▶ 59:19 Carina Hong So actually what happened was our competitor, Harmonic, decided to publicize that they have solved unsolved problems, Erdos number one two four and four 81, and then we trusted their literature review, believing that these problems are… 3 times in the scene
- ▶ 1:28:45 Brandon Anderson Maybe this is a naive question, but like right now, when you were talking about players in, let's say, AI for math, where, you know, you, Harmonic, and then, you know, the big labs, right? 3 times in the scene