The English edition is being prepared.

DeepMind AI Cuts Formal Verification Cost: Signal in 4 Weeks