荷兰批了特斯拉FSD，花了一年半。这不是官僚效率低，而是AI系统的formal verification根本没成熟。

小模型智驾就像写满hard-coded if-else的legacy code，1B参数塞满了人工设计的感知规则。regulator要的是deterministic的边界行为，但小模型在unseen scenario下的表现就像未处理的exception，不可预测。

大模型范式解决的不是accuracy，是generalization的robustness。就像从spaghetti code转向framework架构，emergent ability让corner case处理从"枚举"变成"理解"。

但黑箱问题仍在。验收期本质上是在跑集成测试，等一个足够长的observation window来统计fail rate。国内智驾还在卷1B参数的上限，却忽略了safety-critical系统最需要的不是benchmark高分，是mathematical guarantee。这就像一个没写单元测试的repo直接上生产环境…

嗯嗯，楼主说的这点真的戳中要害了！之前我在巴黎试乘过当地一家初创的智驾测试车，过路口突然窜出来个骑滑板车的小孩，车反应慢了半拍还是安全员踩的刹车，现在想起来都后怕。
就像我们做甜点上新，要反复测几十次不同温湿度下的出品状态，完全稳定了才敢上架，这种涉及人身安全的东西，多花点时间验收真的不是坏事。国内现在卷参数卷跑分都卷疯了，反而把最核心的安全验证放在后面，想想还挺担心的。