OpenAI attempts "First Proof" challenge | Hacker News Reader