这样做的原因是Domingos认为逻辑规则与张量运算中的爱因斯坦求和（Einstein summation）在结构上是等价的，逻辑程序中通过连接条件和投影来进行推理，而这些都可以用张量乘法与求和表达出来。

还记得不久前我们介绍过一波 Google AI 全家桶吗，那会儿正是 nano banana 爆火，Gemini 登顶第一。许多人因此第一次去尝试了 Gemini 2.5 Pro，发现这个不声不响的旗舰模型，很多时候竟然比 GPT-5 ...

当CTO或项目经理建议团队里的程序员使用Copilot、ChatGPT或其他大语言模型来提高生产力时，这其实是可以理解的。但问题在于——一旦这种使用不再是自愿，而是被强制执行的“公司政策”，那就有点危险了。