【 在 sunlustre 的大作中提到: 】
: 真逗，说的好像你还在开化油器车一样。
:

你这比喻过了， 飞机，卫星上的系统，很多代码都是经过形式化验证的，用数学来保证质量。
但是现在的复杂操作系统，AI算法，这些代码量太大，不可能进行形式化验证，测试也不可能充分，有缺陷再正常不过了。
--
FROM 111.206.145.*