Verify Proof, every mention
1 scene · ← back to Verify Proof
tap a year for its mentions
every year anyone Carina Hong 1
Verbatim, from the transcripts: the passages where Verify Proof comes up
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…