Dueling proofs from OpenAI and Anthropic astound scientists | Hacker News Reader