Automated Verification

“Now that we're in this regime where you can just get ChatGPT to tackle thousands of questions at the same time, and it will return proofs for a significant fraction of them. Now, actually the onus is back on the humans to verify all the outputs. And so, yeah, …”