包含自然数算术的形式系统，若具有相容性（无矛盾），则必然存在在该系统中无法被证明或证伪的命题，即“不可判定命题”。
翻译到智驾上怎么讲？

【 在 covidtest 的大作中提到: 】
: 理论指导实践。
--
FROM 183.192.28.*

就是悖论出现时，智驾怎么处理， 人会通过说谎来规避，计算机01怎么处理说谎
【 在 nlgdczm 的大作中提到: 】
: 包含自然数算术的形式系统，若具有相容性（无矛盾），则必然存在在该系统中无法被证明或证伪的命题，即“不可判定命题”。
: 翻译到智驾上怎么讲？
--
FROM 125.119.44.*

人会说慌会欺骗，机器会吗？
【 在 zerg136 的大作中提到: 】
: 人能做到的事情，机器也一定能做到
--
FROM 125.119.44.*

这不扯嘛
现在有啥场景，是智驾能开，人开不了的？或者说啥场景智驾开的明显比普通司机更好的？
【 在 jov 的大作中提到: 】
: 比人的驾驶水平高就可以
:
--
FROM 124.71.93.*

现在的ai就已经会胡说八道了
虽然自动驾驶还有很多路要走
还是别瞎类比


【 在 covidtest 的大作中提到: 】
: 人会说慌会欺骗，机器会吗？
--
FROM 36.112.114.2