Posts
Comments
Comment by
Eviatar Man (eviatar-man) on
The AGI needs to be honest ·
2021-10-17T14:31:02.513Z ·
LW ·
GW
Why is verifying a proof to the Riemann-hypothesis harder than generating the proof?