“And so you kind of already started laying out sort of a…” — The a16z Show at 5:21
“And so you kind of already started laying out sort of a taxonomy of like, what is different in that proof. And so it'd be kind of interesting maybe to use that as kind of both an excuse to talk about where you sense the model differences are and what like mathematicians actually do.”
0:00
1:03:49