即便以林寒如今的身份地位,如果宣称自己以一己之力写出这样的七十万行代码,估计都会有人认为是他精神出了问题。
这些内核代码在通过形式验证之后,便会永久固定,不会自我进化,甚至无法被重新编辑。
林寒相信,只有这样设计出的强人工智能,才是足够可靠的。