关于核查我再举一个例子，假如将来算法再有一次突破，出现了强AI，你会不会为了阻止天网的诞生，核查所有个人电脑和手机，严格管控一切编程工具呢？毕竟那只是个算法，任何程序员都能按自己的需要去利用。
文明技术锁死，技术自残问题的现实思考者
实际上，现实中黑森不成立的最可能原因，就是“恶意”并不是无代价的。即使我们采用罗辑最简单的恶意定义，根据小说剧情也不难发现，文明内部的不同意见者尤其是逃亡者，事实上也是“另一个文明”，然而，要保证压制，消灭这种“另一个文明”，代价是高昂的。禁止逃亡主义和防扩散其实都是这种恶意的直接推论，然而……进一步的推论足够否决这种文明的生存，而后自然选择可以直接得出结论。
1. 公式行内显示(inline)：请使用 $....$ 或 \(....\) 包裹代码
2. 公式独占一行显示(display)：请使用 $$....$$ 或 \[....\] 包裹代码
3. 插入的公式在编辑时不会渲染，请检查无误后再插入。
