Domingos 提出张量逻辑语言:一条张量方程统一神经与符号 AI
pmddomingos · x · 2026-09-18
Pedro Domingos 发布论文《Tensor Logic: The Language of AI》(arXiv:2510.12269),并在推文中称当前的 AI 恐慌源于我们对 AI 理解不足,更好的日子会到来。
核心主张
- AI 进展受制于编程语言:PyTorch/TensorFlow 只是 Python 的附加库,缺少自动推理与知识获取;LISP/Prolog 又缺乏可扩展性与学习能力
- 提出 tensor logic:唯一构件是张量方程,关键观察是逻辑规则与爱因斯坦求和本质上是同一运算,其余一切可归约为它们
- 展示了用张量逻辑优雅实现 Transformer、形式化推理、核方法、图模型等神经/符号/统计 AI 的关键形式
- 最重要的是开辟新方向:在嵌入空间中做可靠的(sound)推理,兼具神经网络的可扩展性与符号推理的可靠透明
17 页论文,作者认为这可能成为 AI 更广泛落地的基础。
「研究」频道最新
- Claude 智能体 11 天写下 1300 万行 Lean，完成费马大定理机器验证证明 — liuzhuang1234 · 2026-09-21
- 人大团队提出 EvoOntology:自进化本体层弥合数据智能体鸿沟 — RUC-DataLab · 2026-09-21
- 小米 CodeMidas:从源码自动生成 5545 个 RL 环境训练编程智能体 — XiaomiMiMo · 2026-09-21
- GraphSkillEvo:用图结构与进化算法优化 LLM 智能体技能 — Rui Sun · 2026-09-21
- DeformSmith:物理引导分层生成可变形资产,服务机器人操作 — Can Li · 2026-09-21
- RewardAI 发布机器人基础模型 OM-1：仅凭人类数据零样本适配多种机器人 — zipengfu · 2026-09-21