PaPoo
cover

Anthropic’s Claude Mythos Just Found a Real Crack in Cryptography

For people building with Claude or Claude Code, this story is interesting because it shows the model doing something beyond coding assistance or document analysis: it helped uncover mathematical weaknesses in cryptographic constructions. That’s a much sharper demo of frontier-model capability than the usual “it wrote some code faster” pitch, and honestly, it feels more consequential than a lot of the hype around agentic workflows.

image_0003.svg

image_0002.svg

Key Points

image_0006.svg

image_0005.svg

image_0004.svg

image_0008.svg

image_0007.svg

My Take

image_0011.svg

image_0010.svg

image_0009.svg

What strikes me is not that Anthropic has a model that can brute-force known cryptography puzzles. It’s that the model seems to have helped surface structural ideas a human team might reasonably miss, or at least miss for much longer. That matters. A lot of the “AI for research” talk feels vague until you see something like this, where the model isn’t just generating text but actually contributing to a mathematical result that holds up well enough to disclose to NIST.

image_0013.svg

image_0012.svg

I think the HAWK result is the more interesting one. AES reduced-round attacks are a classic cryptography game: clever, but safely academic. HAWK is different because it lives closer to the real design frontier for post-quantum signatures. If Anthropic’s account is accurate, then this is a reminder that even schemes that have survived rounds of expert review can still have hidden structure waiting to be found. That should make cryptographers a little uneasy in the productive way.

image_0016.svg

image_0015.svg

image_0014.svg

The part I’m less impressed by is the implied “look how autonomous the model was” framing. Yes, 3 days of mostly model-driven exploration is notable. But the story still has a big human tail: framing the problem, nudging the model past its initial refusal, checking the result, validating the attack, coordinating disclosure. That’s not a knock on the work. It’s just the real shape of the thing. The frontier here is not “AI replaces researchers.” It’s “AI becomes a very strange, very expensive collaborator that can explore a search space faster than a person can.”

image_0018.svg

image_0017.svg

If I were using Claude Code or any Claude-based workflow, I’d take this as a signal to ask better questions of the model, not bigger ones. Don’t just ask it to implement. Ask it to search for edge cases, symmetry, alternate formulations, and weird invariants. That’s where models may still surprise us. I’d be curious whether similar methods help in protocol analysis, compiler optimization, or dependency security review too. This might be one of those cases where the flashy headline understates the broader lesson.

image_0021.svg

image_0020.svg

image_0019.svg

The bigger takeaway is simple: frontier models are starting to help with deep technical discovery, not just synthesis. That’s exciting, and a little unsettling, which is probably the right reaction.

image_0023.svg

image_0022.svg


image_0026.jpg

image_0025.svg

image_0024.svg

Reference: Anthropic’s Claude Mythos discovers new attack method for cryptographic algorithms — halving the strength of post-quantum signature HAWK

image_0041.svg

image_0040.svg

同じ著者の記事