Domingos 发布 Tensor Logic 论文：张量方程统一神经与符号 AI
pmddomingos · x · 2026-09-05
知名 AI 研究者 Pedro Domingos 发布 arXiv 论文《Tensor Logic: The Language of AI》，并宣称张量积表示「显然是 AI 的未来」，还调侃它发明得够早、轮不到 Schmidhuber 来认领。
论文核心主张：
- PyTorch/TensorFlow 只是 Python 的附加库，缺乏自动推理与知识获取；LISP/Prolog 则缺乏可扩展性和学习能力。
- Tensor Logic 用唯一的构造——张量方程——在根本层面统一神经与符号 AI，其洞察是逻辑规则与爱因斯坦求和本质上是同一种操作，其余一切都能化归于此。
- 论文展示了用 Tensor Logic 优雅实现 transformer、形式化推理、核方法、图模型等关键形式。
- 最重要的新方向：在嵌入空间中做可靠的推理（sound reasoning），兼具神经网络的可扩展性与符号推理的可靠性、透明性。
「研究」频道最新
- ChatGPT 5.6 十小时证明渗流猜想，Lean 形式化达 10 万行 — burny_tech · 2026-09-05
- NextLatent：让 Transformer 预测自身隐状态，推理提速 3.3 倍 — burny_tech · 2026-09-05
- Prof. Tom Yeh 出 Full Fine-Tuning vs LoRA 可交互对比图 — ProfTomYeh · 2026-09-05
- 研究:LLM 多智能体系统其实只需约六种通信拓扑 — omarsar0 · 2026-09-05
- Gary Marcus 转发 21 位学者论文：LLM 是通向 AGI 的死路 — GaryMarcus · 2026-09-05
- Burkov 推荐 Peng Ding 新书：补上 AI 缺失的因果推断课 — burkov · 2026-09-05