Subvolts take Unify AI's logic and learning with Tensor Logic, a potential new foundation for artificial intelligence. Dec 7, 2025 - Developers
- Learn about Tensor Logic, a proposed unified language for AI that combines learning and reasoning capabilities for more robust systems.
- Business
- Understand how a new AI language could lead to more reliable and verifiable AI applications, reducing risks associated with current models.
The creator of "The Master Algorithm" proposes a new foundational language for AI, potentially unifying major AI paradigms.
Pedro Domingos: Tensor Logic Unifies AI Paradigms
Audio streams from Machine Learning Street Talk (MLST). Your place is remembered on this device.
From Subvolts
Summary and analysis by Subvolts editorial, AI-assisted.
Pedro Domingos, author of "The Master Algorithm," discusses his new programming language, Tensor Logic, on Machine Learning Street Talk. He proposes Tensor Logic as the fundamental language for AI, aiming to unify deep learning and symbolic AI. The language allows for learnable logical rules, verifiable reasoning, and a blend of analogical and deductive thinking.
Imagine AI needs a universal language, like math for physics. Pedro Domingos introduces Tensor Logic, a new language designed to combine AI's ability to learn from data with its ability to reason logically. This could lead to AI that is both smarter and more trustworthy.
This episode is for AI researchers and developers seeking a unified framework. Domingos presents Tensor Logic as a solution to current AI's split between data-driven deep learning and logic-based symbolic AI. Listeners will learn how this new language could enable transparent, verifiable AI systems. This is relevant to frontier labs like Google Gemini and OpenAI, which are exploring ways to improve AI reasoning and reduce hallucinations, potentially integrating symbolic methods with their current deep learning models.
- HostTim Scarfe
- GuestPedro Domingos
- Guest: Pedro Domingos
- Title: Pedro Domingos: Tensor Logic Unifies AI Paradigms
- Show: Machine Learning Street Talk
- Length: 88 minutes
- New AI Language: Tensor Logic
- Goal: Unify deep learning and symbolic AI
Pedro Domingos, author of the bestselling book "The Master Algorithm," introduces his latest work: Tensor Logic - a new programming language he believes could become the fundamental language for artificial intelligence.
Think of it like this: Physics found its language in calculus. Circuit design found its language in Boolean logic. Pedro argues that AI has been missing its language - until now.
**SPONSOR MESSAGES START**
—
Build your ideas with AI Studio from Google - http://ai.studio/build
—
Prolific - Quality data. From real people. For faster breakthroughs.
https://www.prolific.com/?utm_source=mlst
—
cyber•Fund https://cyber.fund/?utm_source=mlst is a founder-led investment firm accelerating the cybernetic economy
Hiring a SF VC Principal: https://talent.cyber.fund/companies/cyber-fund-2/jobs/57674170-ai-investment-principal#content?utm_source=mlst
Submit investment deck: https://cyber.fund/contact?utm_source=mlst
—
**END**
Current AI is split between two worlds that don't play well together:
Deep Learning (neural networks, transformers, ChatGPT) - great at learning from data, terrible at logical reasoning
Symbolic AI (logic programming, expert systems) - great at logical reasoning, terrible at learning from messy real-world data
Tensor Logic unifies both. It's a single language where you can:
Write logical rules that the system can actually learn and modify
Do transparent, verifiable reasoning (no hallucinations)
Mix "fuzzy" analogical thinking with rock-solid deduction
INTERACTIVE TRANSCRIPT:
https://app.rescript.info/public/share/NP4vZQ-GTETeN_roB2vg64vbEcN7isjJtz4C86WSOhw
TOC:
00:00:00 - Introduction
00:04:41 - What is Tensor Logic?
00:09:59 - Tensor Logic vs PyTorch & Einsum
00:17:50 - The Master Algorithm Connection
00:20:41 - Predicate Invention & Learning New Concepts
00:31:22 - Symmetries in AI & Physics
00:35:30 - Computational Reducibility & The Universe
00:43:34 - Technical Details: RNN Implementation
00:45:35 - Turing Completeness Debate
00:56:45 - Transformers vs Turing Machines
01:02:32 - Reasoning in Embedding Space
01:11:46 - Solving Hallucination with Deductive Modes
01:16:17 - Adoption Strategy & Migration Path
01:21:50 - AI Education & Abstraction
01:24:50 - The Trillion-Dollar Waste
REFS
Tensor Logic: The Language of AI [Pedro Domingos]
https://arxiv.org/abs/2510.12269
The Master Algorithm [Pedro Domingos]
https://www.amazon.co.uk/Master-Algorithm-Ultimate-Learning-Machine/dp/0241004543
Einsum is All you Need (TIM ROCKTÄSCHEL)
https://rockt.ai/2018/04/30/einsum
https://www.youtube.com/watch?v=6DrCq8Ry2cw
Autoregressive Large Language Models are Computationally Universal (Dale Schuurmans et al - GDM)
https://arxiv.org/abs/2410.03170
Memory Augmented Large Language Models are Computationally Universal [Dale Schuurmans]
https://arxiv.org/pdf/2301.04589
On the computational power of NNs [95/Siegelmann]
https://binds.cs.umass.edu/papers/1995_Siegelmann_JComSysSci.pdf
Sebastian Bubeck
https://www.reddit.com/r/OpenAI/comments/1oacp38/openai_researcher_sebastian_bubeck_falsely_claims/
I am a strange loop - Hofstadter
https://www.amazon.co.uk/Am-Strange-Loop-Douglas-Hofstadter/dp/0465030793
Stephen Wolfram
https://www.youtube.com/watch?v=dkpDjd2nHgo
The Complex World: An Introduction to the Foundations of Complexity Science [David C. Krakauer]
https://www.amazon.co.uk/Complex-World-Introduction-Foundations-Complexity/dp/1947864629
Geometric Deep Learning
https://www.youtube.com/watch?v=bIZB1hIJ4
- Deep Learning
- Pedro Domingos
- AI that learns patterns from large amounts of data, like recognizing images or understanding text.
- Symbolic AI
- Pedro Domingos
- AI that uses explicit rules and logic to make decisions, like a traditional computer program.
- Hallucinations
- Pedro Domingos
- When AI generates incorrect or nonsensical information that it presents as fact.
48 minWhat Most People Get Wrong About Evolution | Akarsh Kumar
WithAkarsh Kumar
1 h 101 h 14Who Checks a Proof No Human Can Read? — Leo de Moura
WithLeo de Moura
44 min
Questions people ask
- What is Tensor Logic?
- Tensor Logic is a new programming language proposed by Pedro Domingos that aims to be the fundamental language for artificial intelligence, unifying deep learning and symbolic AI.
- What problems does Tensor Logic solve?
- It addresses the split between deep learning (good at learning, bad at reasoning) and symbolic AI (good at reasoning, bad at learning). It enables learnable logical rules and transparent, verifiable reasoning.
Page generated Oct 19, 2026. Summaries are Subvolts' own; the audio, artwork and notes belong to Machine Learning Street Talk (MLST).