StarZero All shows Try the podcast clipper →

Corinna Hong

6 statements across 1 episodes · 4 bullish · 1 bearish · 1 people on the record · first statement Feb 26, 2026 by Corinna Hong · across every show →

On the record as a speaker too: Corinna Hong's record, appearances and statements → this page counts the times other people say the name.

Everything said about Corinna Hong, oldest first

Feb 26, 2026 positive
Insight
Mathematical reasoning is the foundational reasoning layer for AGI
“Our worldview is math reasoning is a true reasoning layer of AGI.”
Corinna Hong Feb 26, 2026 ▶ 21:26 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Feb 26, 2026 positive
Insight
Mathematical AI unlocks solutions for verification and optimization
“I think through solving math, we also realize that it can solve a lot of other problems, such as verification, such as optimization, et cetera.”
Corinna Hong Feb 26, 2026 ▶ 1:45 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Feb 26, 2026 positive
Insight
True AI reasoning engines require verifiable rewards for intermediate proof steps
“If you want to have a reasoning engine that really truly masters at logic and mathematical reasoning, then you need to somehow get verifiable reward for the proof steps.”
Corinna Hong Feb 26, 2026 ▶ 19:52 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Feb 26, 2026 negative
Assertion Not checkable as stated
Numerical AI benchmarks fail to evaluate underlying logical reasoning capabilities
“Like, you know, we have seen from, say, Frontier Math and other benchmark, which only compels a numerical answer that it doesn't actually necessarily reflect the model's capability in the logical reasoning.”
Corinna Hong Feb 26, 2026 ▶ 18:17 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Feb 26, 2026 positive
Insight
Generation and verification loops are the next major frontier of AI
“We still feel like we cannot fully elaborate and emphasize the thing that we are seeing that is the next frontier of AI. That is a generation and verification loop. That is the discovery of verified knowledge.”
Corinna Hong Feb 26, 2026 ▶ 1:03:09 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Feb 26, 2026 neutral
Insight
The Lean theorem prover language is closer to Rust than to English
“I think the sort of gap between, say, for example, Lean and another, like, strongly typed language like Rust is a lot closer than the gap between Lean and English.”
Corinna Hong Feb 26, 2026 ▶ 22:58 AI That Can Prove It’s Right: Verification as the Missing Layer in AI — Carina Hong
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 400 conversations transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

Try the podcast clipper Learn more