Oh God, this is getting even worse: apparently the "source" of the claim that AI might have broken classical cryptograph…

Oh God, this is getting even worse: apparently the "source" of the claim that AI might have broken classical cryptography is the fact that some numbers are skipped in the OpenAI math dump. You know, that same dump that doesn't even have formal verification on more than half of the results and […]