本文是续在Cambricon-U之后的短小随想。
RIM体现了我们作为并不研究存内计算的研究者，对于存内计算的新认识。 提到存内计算概念，人们直觉上首先与冯·诺依曼瓶颈联系起来，并认为存内计算当然是解决瓶颈的不二法门。 除了业余的计算机科学爱好者，也不乏专业的研究者以这种口径撰写各类材料。
这是错误的。
在RIM的心路历程中，我们展示了过去的存内计算缘何不能支持计数，而计数（后继运算）乃是皮亚诺算术系统中的公理元素，是算术之基础。 我们通过取巧的办法，利用了一种体系结构领域学者并不熟悉的记数法，才首次实现了存内计算的计数功能。 但是这种取巧只能取一次，无情的自然不会允许我们第二次取巧成功，因为想要在电路中同时高效实现加法和乘法的记数法已被证明不存在*。
计算需要信息的流动，而存内计算要求它们呆在原地，这天然是矛盾的。 结合姚先生的结论，我们恐怕无法真正在一个存储阵列中高效地原位完成冯·诺伊曼机所需的各类计算。 让我预测的话，存内计算永远不会和冯·诺依曼瓶颈真正产生关系。
* Andrew C. Yao. 1981. The entropic limitations on VLSI computations (Extended Abstract). STOC’81. [DOI]