Cryptography Has a Validation Bottleneck
OpenAI and Anthropic have published machine-checked artifacts for a claimed refutation of the Exponential Time Hypothesis. The proofs make one thing clear: a checked derivation is not yet scientific consensus.