automated verification
1 statements across 1 episodes · 1 bullish · 0 bearish · 1 people on the record · first statement May 5, 2026 by Alex Lupsasca · across every show →
Everything said about automated verification, oldest first
May 5, 2026 bullish
AI Proof Generation Shifts Human Scientific Burden to 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, …”