StarZero All shows Try the podcast clipper →

formal math

2 statements across 1 episodes · 1 bullish · 1 bearish · 1 people on the record · first statement Jun 3, 2026 by Carina Hong · across every show →

Everything said about formal math, oldest first

Jun 3, 2026 bullish
Insight
Hong: Formalizing proofs into code yields superior AI performance
“We generally think that formal math and by sort of converting math proofs to programs to code give us much better performance.”
Carina Hong Jun 3, 2026 ▶ 51:37 Scaling Past Informal AI - Carina Hong, Axiom Math
Jun 3, 2026 negative
Assertion Not checkable as stated
Hong: DeepMind's Formal Math Slowdown Post-AlphaProof Was Non-Technical
“After AlphaProof, kind of like, we didn't see a lot of the formal math you know, results or kind of progress from Google DeepMind, and that's actually because of reasons that are not necessarily technical.”
Carina Hong Jun 3, 2026 ▶ 6:18 Scaling Past Informal AI - Carina Hong, Axiom Math
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 200 episodes 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