Verify Proof, every mention
1 scene across 1 show · ← back to Verify Proof
tap a year for its mentions
Latent Space 1
every year every show Latent Space 1
Verbatim, from the transcripts: passages where Verify Proof comes up on Latent Space
Scaling Past Informal AI - Carina Hong, Axiom Math
- ▶ 11:15 Carina Hong It, it basically, if you have a proof written in the programming lane, and then assuming there's not, no, any like weird things happening, like, you know, unintended, like, you know, use of sorry, which is a tactic that let you take things…