The English edition is being prepared.

Anthropic’s Formal Verification Research: What Claude Proved