思路简化之后，我发现通过一个数学理论其实可以解决这个矛盾。嗯，对了，葛总，你是否了解希尔伯特第十问？”
葛灵玥茫然的点点头，又摇了摇头。
实际上从构思出一个软件的功能，牵扯出一个数学难题，这中间的逻辑线已经让技术出身的葛灵玥感觉脑子有些不够用了。
希尔伯特二十七问虽然她有印象，但让她在这种情况下回忆起具体第十问涉及到哪些问题，那就真超纲了。
“第十问就是不定式方程的可解答性，简单描述就是任意多个未知数的整系数不定方程，要求给出一个可行的方法，能够借助这个方法，通过有限次运算，判定该方程有无整数解。”
“要解决这个问题，需要研究数理逻辑以及可计算理论，以及算法精确化。当然这个问题已经被证明为不可解。”
“但我想延伸出这么一个新问题，如果一个机器意志在假想的非人工操控下判断出一个数学问题穷尽算力也无法得到解决，但它又有必须要解决这个问题的理由，面临两难抉择时，它会做出何种选择，逻辑依据又是什么？”
“如果一定要较真，这又会引出另一个数学问题，NP完全问题！”
“是否在任何情况下，一道已知的难题，都能分解成若干简单的步骤，从而快速得到答案。”
“幸运的是，在余馨的帮助下，我对这些数学难题做了很多研究，更幸运的是，我虽然没法解
293 伪强人工智能面前，都是纸老虎！（1/5）(3/4)