DeepMind AI Cuts Formal Verification Cost: Signal in 4 Weeks FourWeekMBA