“been able to do this, like the specific errors by subtle…” — The a16z Show at 58:14
“been able to do this, like the specific errors by subtle and they're also not able to do this kind of overall kind of big picture text checking, which is kind of what helps people in practice check papers. Yeah, yeah, which is kind of it mirrors, you know, why in code it's like, it's so”
0:00
1:03:49