Dueling proofs from OpenAI and Anthropic astound scientists Scientific American