Two Anthropic human researchers spent nearly a month and several hundred hours verifying the mathematical correctness of the AES attack developed by Claude Mythos Preview