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