There’s a simple point to be made: if no one in the world understands an AI proof, what’s the point?
Maybe another AI could use the proof.
alt Hacker News
Maybe another AI could use the proof.