informal math system

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

Everything said about informal math system, oldest first

Jun 3, 2026 bearish
Prediction Not checkable as stated
Hong: Informal math systems will not achieve math AGI
“I'm going to say on the record, we do not believe that an informal math system is going to be the math AGI solution.”
Carina Hong Jun 3, 2026 ▶ 50:41 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.