Claude identifies cryptographic flaws in HAWK and AES variants

The most underreported detail is the prompting methodology itself: researchers found that models would abandon cryptanalysis tasks when framing suggested the problem was intractable, but succeeded when framing implied solvability was expected. That's not a footnote about UX, it's a substantive finding about how capability assessments can systematically undercount what models can do.

This is largely disconnected from recent activity in our archive, as we have no prior coverage to anchor it to. It belongs to a broader conversation happening across academic and security research communities about whether LLMs can contribute meaningfully to formal mathematics, a space where skepticism has historically been well-founded given models' tendency to confabulate proofs. The reduced-round AES finding is the kind of bounded, verifiable result that gives that conversation more traction than benchmark claims typically do, because the output can be checked independently.

Watch whether independent cryptographers attempt to reproduce or extend these findings on full-round primitives in the next six months. Replication on a non-reduced variant would substantially change how the security research community treats LLMs as analytical tools.