本次新上任的CEO许达仁，此时距离他2025年10月加入集团担任中国区副总裁，仅过去了5个月。
Most people think of verification as a cost, a tax on development, justified only for safety-critical systems. That framing is outdated. When AI can generate verified software as easily as unverified software, verification is no longer a cost. It is a catalyst.
，推荐阅读safew官方版本下载获取更多信息
FT Digital Edition: our digitised print edition
Кадр: YTN / YouTube