Independent verification: https://github.com/lhl/hle-gpqa-error-claims