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

3 points | by korbonits 10 hours ago