Harmonic
company on 8 shows · 13 statements across 4 episodes · said 43 times in 10 episodes since 2025
20VC 19 
Latent Space 7 
the Knowledge Project 6 
Sourcery 5 
All-In 2 
the Official SaaStr Podcast 1 
the a16z Podcast 1 
TBPN 1
Mentions by year, every show
tap a year for its mentions
20VC 19Latent Space 7the Knowledge Project 6Sourcery 5All-In 2the a16z Podcast 1the Official SaaStr Podcast 1TBPN 1
2026 20 mentions in 5 episodes 4 per episode
- Scaling Past Informal AI - Carina Hong, Axiom Math
- The Near Death Experience of RobinHood | Vlad Tenev, Co-Founder
- CEO Vlad Tenev on Robinhood's Record Year (+200%, ~$100B Market Cap) · Sourcery with Molly O'Shea
- OpenAI Cracks Navier-Stokes, Tech Trailers, AI Jobs Apocalypse on Hold | Diet TBPN
- Going From Blobs to Billions. Clay's Co-Founder Breaks Down Inbound, Outbound, and AI-Powered Sales.
- every mention in 2026, scene by scene →
2025 22 mentions in 5 episodes 4 per episode
- 20VC: The Daily Deal: Coreweave IPO | Scale Hits $25BN on $2BN EOY Revenue | Sequoia's 25x Return on Wiz | Tech Stocks Tank with Tariffs | Cursor: Defensible or Dangerous Example of Lost Moats in Tech
- 20VC: Foundation Models: Who Wins & Who Loses | How Economies and Labour Markets Need to Change in a World of AI | China vs the US in an AI Race: What You Need to Know | Rich Socher, Founder @ You.com
- Robinhood Founder & CEO, Vlad Tenev: Robinhood’s $85BN Resurgence & Tokenizing SpaceX & OpenAI · 20VC with Harry Stebbings
- Robinhood CEO Vlad Tenev on tokenizing stocks, expanding access to private shares, fintech's future
- How OpenAI Builds for 800 Million Weekly Users: Model Specialization and Fine-Tuning
- every mention in 2025, scene by scene →
every mention on every show, scene by scene, with the transcript →
13 statements about Harmonic, every show
Hong: Harmonic's Aristotle Verified an Erdős Problem Proof Found by GPT
“In fact, like, you know, GPT found a proof to an unsolved Erdos problem, and our competitor Harmonic, you know, Aristotle you know, verified it.”
Hong: Axiom and Harmonic mistakenly claimed solved Erdős problems were new
“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 really, truly unsolved. …”
Hong: AI for Math Will Fragment as Axiom and Harmonic Lead
“I expect fragmentation to start to happen as Axiom and Harmonic establish category leadership.”
Tenev: Harmonic's Aristotle achieved gold medal performance at the IMO
“Earlier this year, we actually achieved gold medal performance at the International Mathematical Olympiad, which is the world's most prestigious mathematics competition. These are like cracked high schoolers, like five people got perfect scores in the Internat…”
Tenev: Harmonic solved at least one unsolved Erdős problem
“There's something like 1100 Erdos problems. About half of them are open unsolved. And yeah, Harmonic solved at least one of them.”
Tenev: The vast majority of Aristotle's training data is synthetic
“All of the data that the vast majority of the data that trains Aristotle is actually data that we generate. It's not, you know, internet data.”
Tenev predicts AI mathematical proofs will scale to 100,000 pages in three years
“So, you know, right now, let's say you can easily at low cost produce a proof that's 10 pages long and actually we can produce longer ones, but just as an example per per unit cost and time, you can produce a 10 page proof while in a year it'll get to a hundre…”
Tenev: AI market will see multiple domain-specialized models, not one winner
“I think there's going to be multiple models and it's really going to depend on the data that is used to feed them.
So for example, one thing that's great about Aristotle, which is harmonics model is you've got mathematicians that are using it to ask very comp…”
Tenev: Harmonic surpassed Google AlphaProof's capabilities within one year
“Alpha Proof was the first AI model to get a silver medal, to achieve silver medal performance at the IMO last year.
But Alpha Proof they did not announce a gold this year.
So, yeah, we were we were, the Harmonic team was excited about that, that, you know, i…”
Tenev: Harmonic AI became one of first models to win IMO gold
“We started solving, like, competition math problems, and we became one of the first models to actually get a gold medal on the International Math Olympiad, which is the hardest math competition In the world.”
Tenev: Harmonic's Aristotle AI autonomously solved an unsolved Erdős math problem
“And now with Aristotle people are doing like systematic, they're going through them. And there was one that Aristotle solved fully autonomously. And then a bunch of others where Aristotle assisted in solving or converting into formal math language.”
Tenev: Harmonic's Aristotle AI got 10 of 12 Putnam competition problems correct
“Well, Aristotle which is the name of the math model that, that the company builds, In a consumer form, which just people can use freely, got 10 out of the 12 problems of the Putnam correct, which is a lot more than I got on the Putnam.”
Tenev: Harmonic achieved gold-medal AI performance at International Math Olympiad
“And we had a pretty cool result a couple weeks ago where we announced gold medal level performance at the International Math Olympiad, which is the biggest mathematics competition in the world. And I think to my knowledge, we're the only formal model.”