“lemmas. And so what happened here was there was some lemma…” — The a16z Show at 30:02
“lemmas. And so what happened here was there was some lemma I wanted to prove, and the models couldn't do it. So none of the frontier models could do it. And so I like worked out a ton of examples on my own, and I realized, Oh, well, maybe like, here's some reason why it could be true.”
0:00
1:03:49