“No one at this point really understands those proofs. And…” — Slate Daily Feed at 40:57
“No one at this point really understands those proofs. And to Emily's point, you know, now comes kind of the real work, which is to go through those proofs, maybe with the help of a robot and say, so, okay, explain to me what you're doing.”
0:00
56:06