宝马落后了，现在 AI 领域都在搞形式化验证，可能新势力已经用上了，宝马还没用

【 在 seeredsea 的大作中提到: 】
: 也开始入乡随俗了
: 国内汽车行业，已经要被弄臭了
: --
:
: FROM 114.249.51.* [北京 联通]
--
FROM 183.195.2.*