有人对AGI的乐观程度，搞得像某种“智能永动机”。

一个命题：构建一个程序，说明某个程序已经没有bug了。

可以改成“停机问题”来证否。

也就是说，至少“全自动化测试”不可能做到。

但“半自动化”+人呢？这样只要局部有优化，只要成本到某个阈值即可。