The proofs themselves are far beyond me, but the first page of the Anthropic paper, at least, is much easier for me to follow than the OpenAI one.