“And it's not actually pushing a lot of lean verified…” — The a16z Show at 8:10
“And it's not actually pushing a lot of lean verified proofs as like the training corpus. And that's kind of amazing. On another side, what's kind of interesting is it's not clear that a lot of the mathematical training data, if they use that to a large extent at all, is reflective of how”
0:00
1:03:49