The Verification Problem (On OpenAI's Erdős Disproof) | Dark Hacker News