The Verification Problem (On OpenAI's Erdős Disproof)
korbonits.com