Informal Math System

topic on 1 show · 1 statements across 1 episodes

Latent Space

1 statements about Informal Math System, every show

LATENT SPACE 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

← every entity, every show

Made with StarZero

Turn any episode into a week of clips.

This entire site, thousands of episodes across every show 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