theoretical-foundations

文章批评当前的神经网络理论缺少一个控制方程，认为在学习、推理和收敛在数学上统一之前，AGI仍然是一种外推而非一个适定的科学对象。

本文提出，不可行性结果可以作为构建可信AI系统的设计规范，并提出了一个确保可靠性和安全性的理论框架。