Carina Hong
9 statements across 1 episodes · 3 bullish · 1 bearish · 1 people on the record · first statement Jun 3, 2026 by Carina Hong · across every show →
On the record as a speaker too: Carina Hong's record, appearances and statements → this page counts the times other people say the name.
Everything said about Carina Hong, oldest first
Jun 3, 2026 bullish
Jun 3, 2026 negative
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. …”
Jun 3, 2026
Jun 3, 2026
Hong: Training AI for mathematical elegance is an alignment problem
“At one point we're gonna get to there because, you know, I think the conjecture will probably depend on what, you know, will probably depend on what we mean by taste, elegance. Feels like an alignment problem to me, you know? Like, you know, who gets to say wh…”
Jun 3, 2026 neutral
Hong: Accumulating synthetic AI data is not a moat, just buffer
“I think everyone is trying to accumulate like a data, which is not a mode. It's just time and time mode. It's all about like, you know, whether you can execute fast enough to make sure that you have like a certain buffer because of say your data set, you know,…”
Jun 3, 2026 bullish
Hong: Future coding will rely on automated test-generated specifications
“I think this is the future of coding. Yes, I think this is the future of coding. And I think this is where, you know, this is where I think even if we are supposed, like given the assumption that everything can be formally verified, you know, like studying sor…”
Jun 3, 2026
Jun 3, 2026 bullish