Uploaded July 2025 | Updated September 2026, 1 week ago
In this episode, hosts Tim Scarfe and Keith Duggar welcome guest Paul Lessard, a mathematician who has transitioned into the world of machine learning, for a deep dive into the philosophy behind AI, mathematics, and the quest for true understanding.
INTERACTIVE TRANSCRIPT PLAYER:
app.rescript.info/public/share/_TAiM5iOOePzOGIqCGf69tASjP9bAHNf0tIUKanYIpY
They start by exploring a classic philosophical question: Is the universe built on fundamental, unchanging truths that we discover (a "Platonic" view), or is it more like we're constantly building and creating structure as we go (a "constructivist" view)? Paul suggests a middle ground, arguing that while the world may be fundamentally constructive, we create the "illusions of Platonism" as a powerful problem-solving strategy.
This leads to a discussion about the nature of modern AI models. Tim introduces a powerful metaphor, describing deep learning models as "sandcastles"—structures that look impressive but lack a solid foundation and collapse easily when prodded. Paul challenges this, suggesting there is an emerging science to it, pointing to how benchmarks have historically been used to judge progress, though this method is now showing its limits.
So, how can we build more robust models? Keith asks how the highly abstract field of category theory can help. Paul explains it not as a specific tool, but as a powerful "algebra for constructing systems." It provides a formal language to design and experiment with different model architectures in a principled way. He also draws an analogy between transformers and RNNs, framing a transformer as a parallelized, finite-depth version of an RNN.
The conversation then shifts to the human side of science and learning.
Culture Shock in Academia: Paul humorously contrasts the incredibly cautious and boring titles of pure math papers with the "bombastic" and authoritative titles common in machine learning.
The "Walled Garden" of Education: Keith shares a relatable story about the shock of discovering that, unlike school textbook problems, most real-world scientific problems don't have a neat, clean solution. Paul explains this is by design—education creates a "walled garden" to build a student's confidence before they face the messy, unpredictable nature of true research.
The episode concludes with Paul sharing his current, overarching view of his work. He sees machine learning as the task of designing a "fake physics." The goal is to build a system where the training process acts like a natural physical process, causing the model to settle into a low-energy state that effectively represents the data it was shown.
Position: Categorical Deep Learning is an Algebraic Theory of All Architectures
arxiv.org/abs/2402.15332
Bruno Gavranović, Paul Lessard, Andrew Dudzik, Tamara von Glehn, João G. M. Araújo, Petar Veličković
Paul Lessard:
linkedin.com/in/paul-roy-lessard/?originalSubdomain=au
TOC:
[00:00:00] Truth, Benchmarks, and Sandcastles
[00:00:45] Platonism vs. Constructivism
[00:05:00] The Role of Category Theory
[00:08:00] The "Anything Goes" Science
[00:12:50] Explaining Why Things Work
[00:16:56] Bombastic Academic Paper Titles
[00:18:18] Automatically Discovering Constraints
[00:29:17] The "Walled Garden" of Education
[00:35:26] From Math to Machine Learning
[00:43:47] Machine Learning as "Fake Physics"
In this episode, hosts Tim Scarfe and Keith Duggar welcome guest Paul Lessard, a mathematician who has transitioned into the world of machine learning, for a deep dive into the philosophy behind AI, mathematics, and the quest for true understanding.
INTERACTIVE TRANSCRIPT PLAYER:
app.rescript.info/public/share/_TAiM5iOOePzOGIqCGf69tASjP9bAHNf0tIUKanYIpY
They start by exploring a classic philosophical question: Is the universe built on fundamental, unchanging truths that we discover (a "Platonic" view), or is it more like we're constantly building and creating structure as we go (a "constructivist" view)? Paul suggests a middle ground, arguing that while the world may be fundamentally constructive, we create the "illusions of Platonism" as a powerful problem-solving strategy.
This leads to a discussion about the nature of modern AI models. Tim introduces a powerful metaphor, describing deep learning models as "sandcastles"—structures that look impressive but lack a solid foundation and collapse easily when prodded. Paul challenges this, suggesting there is an emerging science to it, pointing to how benchmarks have historically been used to judge progress, though this method is now showing its limits.
So, how can we build more robust models? Keith asks how the highly abstract field of category theory can help. Paul explains it not as a specific tool, but as a powerful "algebra for constructing systems." It provides a formal language to design and experiment with different model architectures in a principled way. He also draws an analogy between transformers and RNNs, framing a transformer as a parallelized, finite-depth version of an RNN.
The conversation then shifts to the human side of science and learning.
Culture Shock in Academia: Paul humorously contrasts the incredibly cautious and boring titles of pure math papers with the "bombastic" and authoritative titles common in machine learning.
The "Walled Garden" of Education: Keith shares a relatable story about the shock of discovering that, unlike school textbook problems, most real-world scientific problems don't have a neat, clean solution. Paul explains this is by design—education creates a "walled garden" to build a student's confidence before they face the messy, unpredictable nature of true research.
The episode concludes with Paul sharing his current, overarching view of his work. He sees machine learning as the task of designing a "fake physics." The goal is to build a system where the training process acts like a natural physical process, causing the model to settle into a low-energy state that effectively represents the data it was shown.
Position: Categorical Deep Learning is an Algebraic Theory of All Architectures
arxiv.org/abs/2402.15332
Bruno Gavranović, Paul Lessard, Andrew Dudzik, Tamara von Glehn, João G. M. Araújo, Petar Veličković
Paul Lessard:
linkedin.com/in/paul-roy-lessard/?originalSubdomain=au
TOC:
[00:00:00] Truth, Benchmarks, and Sandcastles
[00:00:45] Platonism vs. Constructivism
[00:05:00] The Role of Category Theory
[00:08:00] The "Anything Goes" Science
[00:12:50] Explaining Why Things Work
[00:16:56] Bombastic Academic Paper Titles
[00:18:18] Automatically Discovering Constraints
[00:29:17] The "Walled Garden" of Education
[00:35:26] From Math to Machine Learning
[00:43:47] Machine Learning as "Fake Physics"
![Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares
Panel discussion with Francois Chollet, Kevin Ellis, and Zenna Tavares on why program synthesis matters and where deep learning falls short. Chollet recounts how his early work on theorem proving with Christian Szegedy at Google made him realise gradient descent cannot learn discrete algorithms, even when the correct solution is representable by the network. Ellis, whose PhD with Armando Solar-Lezama helped shape the modern program synthesis field, asks how much of the bottleneck is the learning mechanism versus the representation. Tavares considers a deeper integration of neural networks into programming language semantics, where neural operators implement the interpreter rather than sitting outside it.
The group discusses the limits of transformers at function composition, the failure of Cyc-style hand-built ontologies, and what ARC has revealed about strong generalisation. Chollet explains how test-time training and O1-style iterative program writing let static models adapt to novelty, then previews ARC 2, which will include human difficulty data and push harder on compositional complexity. Ellis and Tavares describe MARA, their new project that extends ARC-style tasks toward active experimentation where the agent must choose what questions to ask.
Recorded as part of a broader discussion at the intersection of program synthesis, neural-symbolic integration, and abstract reasoning. Published March 2025.
SPONSOR MESSAGES:
***
Tufa AI Labs is a brand new research lab in Zurich started by Benjamin Crouzier focussed on o-series style reasoning and AGI. They are hiring a Chief Engineer and ML engineers. Events in Zurich.
REFERENCES:
website:
[00:00:01] Basis Research Institute
https://www.basis.ai/
[00:14:30] Keras
https://keras.io/
[00:14:50] Armando Solar-Lezama
https://www.csail.mit.edu/news/solar-lezama-wins-robin-milner-young-researcher-award
[00:15:05] Kevin Ellis
https://www.cs.cornell.edu/~ellisk/
[00:18:50] Cyc Project
https://en.wikipedia.org/wiki/Cyc
[00:28:10] ARC Prize
https://arcprize.org/
paper:
[00:01:00] HolStep Dataset
https://openreview.net/pdf?id=ryuxYmvel
[00:05:20] On the Measure of Intelligence
https://arxiv.org/abs/1911.01547
[00:07:00] Neural Turing Machines
https://arxiv.org/pdf/1410.5401
[00:07:20] Manifold Hypothesis
https://arxiv.org/abs/2208.05314
[00:21:50] Test-Time Training on Nearest Neighbors
https://ekinakyurek.github.io/papers/ttt.pdf
[00:26:20] AlphaZero-style Program Synthesis
https://arxiv.org/abs/2205.14229
LINKS:
Full Transcript: https://app.rescript.info/share/b8e9612724c01a88ef103804be1e79d5
Download PDF transcript: https://app.rescript.info/api/public/sessions/3380bd2c998bf22d/pdf
Francois Chollet:
https://x.com/fchollet
https://ndea.com/
https://arcprize.org/
[00:21:55] Test-Time Training, Akyurek et al.
https://ekinakyurek.github.io/papers/ttt.pdf Exploring Program Synthesis: Francois Chollet, Kevin Ellis, Zenna Tavares](https://i.ytimg.com/vi/TQDCsyuuwsg/mqdefault.jpg)
![The Ex-Pentagon Chief Sounding the Alarm on AI Weapons — Brad Carson
Brad Carson was the Armys General Counsel, served two terms in Congress and was Acting Under Secretary of Defense for Personnel and Readiness. He now heads Americans for Responsible Innovation, the AI-policy advocacy group he co-founded. Keith Duggar spends roughly eighty minutes pushing back.
SPONSOR:
Cyber Fund built the Monastery to help founders ship products that were impossible a year ago. Applications for Batch 1 are now open.
Apply now: https://cyber.fund
Carsons whole case rests on one line: the genie is not out of the bottle. We have pulled dangerous tech back before. Asilomar halted recombinant DNA in 1975, and the West still controls the chips AI runs on. Calling it unstoppable, he says, is the most dangerous idea in the room.
Then Keith drags him somewhere darker. A Palantir heat map scores you 0.73 on whether you are a combatant, and a strike follows. The model is wrong some accepted share of the time, and when it is, nobody answers for it. You cannot court-martial a model, and not even the interpretability researchers can say why it picked you.
—
Note: after recording, we learned that Americans for Responsible Innovation is backed by EA-aligned philanthropy (not sponsored)
TIMESTAMPS:
00:00:00 From the Pentagon to AI governance
00:04:52 Regulatory capture vs Silicon Valley networks
00:07:56 Transparency and the Claude tier changes
00:09:40 Tort liability when AI tools cause harm
00:13:40 AI is a product, not a person
00:16:01 Children, suicide, and the suicide business
00:19:59 Opaque neural nets and the law of war
00:25:54 Probabilistic targeting and the death of accountability
00:28:47 The arms race fallacy: Asilomar and restraint
00:34:02 Talking to China: track 2 talks and chip leverage
00:39:45 Air power never wins: capital for labour
00:43:29 Anthropic vs the Department of War
00:51:29 Concentration, open source, and brain drain
01:00:18 DeepSeek, Chinese culture, and AI as diplomacy
01:12:25 Upskilling Congress and why public trust matters
REFERENCES:
organization:
[00:02:45] ICRC position on autonomous weapons
https://www.icrc.org/en/law-and-policy/autonomous-weapons
[00:05:22] Americans for Responsible Innovation (ARI)
https://ari.us
[00:07:20] Andreessen Horowitz (a16z)
https://a16z.com/
[00:43:29] Anthropic
https://www.anthropic.com/
[01:00:18] DeepSeek
https://www.deepseek.com
[01:03:05] Moonshot AI (Kimi)
https://www.moonshot.cn
[01:16:05] Office of Technology Assessment
https://en.wikipedia.org/wiki/Office_of_Technology_Assessment
other:
[00:03:35] Beneficial AGI 2019 Conference (Future of Life Institute, Puerto Rico)
https://futureoflife.org/event/beneficial-agi-2019/
[00:18:30] Section 230 of the Communications Decency Act
https://en.wikipedia.org/wiki/Section_230
[00:19:59] Lethal Autonomous Weapons (LAWS)
https://en.wikipedia.org/wiki/Lethal_autonomous_weapon
[00:31:35] Strategic Arms Limitation Talks (SALT)
https://en.wikipedia.org/wiki/Strategic_Arms_Limitation_Talks
[00:32:28] Asilomar Conference on Recombinant DNA (1975)
https://en.wikipedia.org/wiki/Asilomar_Conference_on_Recombinant_DNA
[00:39:45] The New Iron Triangle (ARI policy byte)
https://ari.us/policy-bytes/the-new-iron-triangle/
[00:48:05] Defense Production Act
https://en.wikipedia.org/wiki/Defense_Production_Act
person:
[00:03:35] Anthony Aguirre
https://en.wikipedia.org/wiki/Anthony_Aguirre
[00:06:48] Dean Ball — Hyperdimensional
https://www.hyperdimensional.co/
[00:23:13] Neel Nanda — mechanistic interpretability
https://www.neelnanda.io/
[00:36:02] Jack Clark (Anthropic) on Conversations with Tyler
https://conversationswithtyler.com/episodes/jack-clark/
[00:36:45] Dean Acheson
https://en.wikipedia.org/wiki/Dean_Acheson
[00:37:05] Paul Nitze
https://en.wikipedia.org/wiki/Paul_Nitze
[00:39:15] Robert Trager — Centre for the Governance of AI
https://www.governance.ai/team/robert-trager
[00:41:55] Giulio Douhet
https://en.wikipedia.org/wiki/Giulio_Douhet
[01:15:05] Don Beyer (US Congress)
https://en.wikipedia.org/wiki/Don_Beyer
tool:
[00:22:19] Phalanx CIWS
https://en.wikipedia.org/wiki/Phalanx_CIWS
[00:24:50] Palantir Foundry
https://www.palantir.com/
[01:07:17] Qwen (Alibaba)
https://qwenlm.github.io
ReScript:
https://app.rescript.info/public/share/9405ff35c0215b7cdae6402d41284171
https://app.rescript.info/api/public/sessions/0a6c081b8e5fe413/pdf The Ex-Pentagon Chief Sounding the Alarm on AI Weapons — Brad Carson](https://i.ytimg.com/vi/TpyS50ifmX4/mqdefault.jpg)

![The Elegant Math Behind Machine Learning
Anil Ananthaswamy is an award-winning science writer and former staff writer and deputy news editor for the London-based New Scientist magazine.
Machine learning systems are making life-altering decisions for us: approving mortgage loans, determining whether a tumor is cancerous, or deciding if someone gets bail. They now influence developments and discoveries in chemistry, biology, and physics—the study of genomes, extrasolar planets, even the intricacies of quantum systems. And all this before large language models such as ChatGPT came on the scene.
We are living through a revolution in machine learning-powered AI that shows no signs of slowing down. This technology is based on relatively simple mathematical ideas, some of which go back centuries, including linear algebra and calculus, the stuff of seventeenth- and eighteenth-century mathematics. It took the birth and advancement of computer science and the kindling of 1990s computer chips designed for video games to ignite the explosion of AI that we see today. In this enlightening book, Anil Ananthaswamy explains the fundamental math behind machine learning, while suggesting intriguing links between artificial and natural intelligence. Might the same math underpin them both?
As Ananthaswamy resonantly concludes, to make safe and effective use of artificial intelligence, we need to understand its profound capabilities and limitations, the clues to which lie in the math that makes machine learning possible.
Why Machines Learn: The Elegant Math Behind Modern AI:
https://amzn.to/3UAWX3D
https://anilananthaswamy.com/
Sponsor message:
DO YOU WANT WORK ON ARC with the MindsAI team (current ARC winners)?
Interested? Apply for an ML research position: benjamin@tufa.ai
(JUST ADDED!) SHOWNOTES:
https://www.dropbox.com/scl/fi/wpv22m5jxyiqr6pqfkzwz/anil.pdf?rlkey=9c233jo5armr548ctwo419n6p&st=xzhahtje&dl=0
Chapters:
1. ML Fundamentals and Prerequisites
[00:00:00] 1.1 Differences Between Human and Machine Learning
[00:00:35] 1.2 Mathematical Prerequisites and Societal Impact of ML
[00:02:20] 1.3 Authors Journey and Book Background
[00:11:30] 1.4 Mathematical Foundations and Core ML Concepts
[00:21:45] 1.5 Bias-Variance Tradeoff and Modern Deep Learning
2. Deep Learning Architecture
[00:29:05] 2.1 Double Descent and Overparameterization in Deep Learning
[00:32:40] 2.2 Mathematical Foundations and Self-Supervised Learning
[00:40:05] 2.3 High-Dimensional Spaces and Model Architecture
[00:52:55] 2.4 Historical Development of Backpropagation
3. AI Understanding and Limitations
[00:59:13] 3.1 Pattern Matching vs Human Reasoning in ML Models
[01:00:20] 3.2 Mathematical Foundations and Pattern Recognition in AI
[01:04:08] 3.3 LLM Reliability and Machine Understanding Debate
[01:12:50] 3.4 Historical Development of Deep Learning Technologies
[01:15:21] 3.5 Alternative AI Approaches and Bio-inspired Methods
4. Ethical and Neurological Perspectives
[01:24:32] 4.1 Neural Network Scaling and Mathematical Limitations
[01:31:12] 4.2 AI Ethics and Societal Impact
[01:38:30] 4.3 Consciousness and Neurological Conditions
[01:46:17] 4.4 Body Ownership and Agency in Neuroscience The Elegant Math Behind Machine Learning](https://i.ytimg.com/vi/URtF_UHYBSo/mqdefault.jpg)

![The Brain Is Just Specialized Agents Talking To Each Other — Dr. Jeff Beck
What makes something truly *intelligent?* Is a rock an agent? Could a perfect simulation of your brain actually *be* you? In this fascinating conversation, Dr. Jeff Beck takes us on a journey through the philosophical and technical foundations of agency, intelligence, and the future of AI.
Jeff doesnt hold back on the big questions. He argues that from a purely mathematical perspective, theres no structural difference between an agent and a rock – both execute policies that map inputs to outputs. The real distinction lies in *sophistication* – how complex are the internal computations? Does the system engage in planning and counterfactual reasoning, or is it just a lookup table that happens to give the right answers?
*Key topics explored in this conversation:*
*The Black Box Problem of Agency* – How can we tell if something is truly planning versus just executing a pre-computed response? Jeff explains why this question is nearly impossible to answer from the outside, and why the best we can do is ask which model gives us the simplest explanation.
*Energy-Based Models Explained* – A masterclass on how EBMs differ from standard neural networks. The key insight: traditional networks only optimize weights, while energy-based models optimize *both* weights and internal states – a subtle but profound distinction that connects to Bayesian inference.
*Why Your Brain Might Have Evolved from Your Nose* – One of the most surprising moments in the conversation. Jeff proposes that the complex, non-smooth nature of olfactory space may have driven the evolution of our associative cortex and planning abilities.
*The JEPA Revolution* – A deep dive into Yann LeCuns Joint Embedding Prediction Architecture and why learning in latent space (rather than predicting every pixel) might be the key to more robust AI representations.
*AI Safety Without Skynet Fears* – Jeff takes a refreshingly grounded stance on AI risk. Hes less worried about rogue superintelligences and more concerned about humans becoming reward function selectors – couch potatoes who just approve or reject AI outputs. His proposed solution? Use inverse reinforcement learning to derive AI goals from observed human behavior, then make *small* perturbations rather than naive commands like end world hunger.
Whether youre interested in the philosophy of mind, the technical details of modern machine learning, or just want to understand what makes intelligence *tick,* this conversation delivers insights you wont find anywhere else.
TIMESTAMPS:
00:00:00 Geometric Deep Learning & Physical Symmetries
00:00:56 Defining Agency: From Rocks to Planning
00:05:25 The Black Box Problem & Counterfactuals
00:08:45 Simulated Agency vs. Physical Reality
00:12:55 Energy-Based Models & Test-Time Training
00:17:30 Bayesian Inference & Free Energy
00:20:07 JEPA, Latent Space, & Non-Contrastive Learning
00:27:07 Evolution of Intelligence & Modular Brains
00:34:00 Scientific Discovery & Automated Experimentation
00:38:04 AI Safety, Enfeeblement & The Future of Work
REFERENCES:
Concept:
[00:00:58] Free Energy Principle (FEP)
https://en.wikipedia.org/wiki/Free_energy_principle
[00:06:00] Monte Carlo Tree Search
https://en.wikipedia.org/wiki/Monte_Carlo_tree_search
Book:
[00:09:00] The Intentional Stance
https://mitpress.mit.edu/9780262540537/the-intentional-stance/
Paper:
[00:13:00] A Tutorial on Energy-Based Learning (LeCun 2006)
http://yann.lecun.com/exdb/publis/pdf/lecun-06.pdf
[00:15:00] Auto-Encoding Variational Bayes (VAE)
https://arxiv.org/abs/1312.6114
[00:20:15] JEPA (Joint Embedding Prediction Architecture)
https://openreview.net/forum?id=BZ5a1r-kVsf
[00:22:30] The Wake-Sleep Algorithm
https://www.cs.toronto.edu/~hinton/absps/ws.pdf
[00:22:45] Barlow Twins: Self-Supervised Learning
https://arxiv.org/abs/2103.03230
[00:30:40] GFlowNets (Generative Flow Networks)
https://arxiv.org/abs/2111.09266
[00:45:00] Maximum Entropy Inverse Reinforcement Learning
https://www.aaai.org/Papers/AAAI/2008/AAAI08-227.pdf
Challenge:
[00:27:15] ARC Prize (Abstraction and Reasoning Corpus)
https://arcprize.org/
RESCRIPT:
https://app.rescript.info/public/share/DJlSbJ_Qx080q315tWaqMWn3PixCQsOcM4Kf1IW9_Eo
PDF:
https://app.rescript.info/api/public/sessions/0efec296b9b6e905/pdf The Brain Is Just Specialized Agents Talking To Each Other — Dr. Jeff Beck](https://i.ytimg.com/vi/Ucqfb33GJJ4/mqdefault.jpg)

![ARC-AGI-3 winning team - Millennia of minds, compressed into words.
Tim Scarfe travels to Zurich to sit down with the Tufa Labs ARC-AGI-3 team — founder Benjamin Crouzier, with Jeroen Cottaar, Dries Smit, Stefano Viel and Michal Tesnar — to work out what their leaderboard-topping system does and what the benchmark is really testing.
The cut opens on the games: a walkthrough of the Locksmith game, where you read the rules of an unfamiliar world straight from raw frames. ARC-AGI-3 makes ARC interactive and agentic, so the model has to *discover* the goal rather than transduce a static grid. It stays easy for humans and breaks LLMs, and it runs through everything that follows. Dries traces his StochasticGoose preview win — brute force that only searched actions which changed the frame — and why it collapsed once the organisers added action-efficiency scoring and unseen games.
Induction and transduction run through the middle of the conversation — how much of an answer is really priors leaking back the moment a model recognises a maze. The abstraction mountain, and Tims case that LLMs reach the right answer through fractured, entangled representations — performance, not competence. Whether transformers plan at all or just fake it well enough. Why the score really measures action efficiency, not games solved, and why agents lock onto the wrong goal and cannot climb back out.
Crouzier closes on the Tufa Labs thesis — a small lab against the giants, the bitter lesson against hand-built harnesses, and safety — and Tim ties it back to Kenneth Stanley, deep constraints, and creativity as competence.
Disclosure: Tufa Labs sponsors MLST.
TIMESTAMPS:
00:00:00 Meet the Tufa team and what makes ARC-AGI-3 hard
00:02:11 Locksmith game: reading the rules from raw frames
00:03:10 Why build an independent research lab
00:04:11 StochasticGoose: a preview win, then the hardened games
00:07:58 Induction, transduction, and priors inside LLMs
00:10:31 Curiosity, world models, and exploring by frame change
00:14:32 Understanding debt and losing sight of your own code
00:15:53 Requirements-based agents and human-AI co-creativity
00:19:22 Why auto-research misses the big picture
00:21:54 The abstraction mountain and fractured representations
00:27:36 Constraints and making LLMs act as if they understand
00:34:51 Human difficulty calibration, esports priors, and emergence
00:41:35 Agency, goal acquisition, and two kinds of planning
00:47:31 Harnesses, the 36% number, and wrong-goal loops
00:52:33 Rewards, goals, and why ARC-AGI-3 resists brute force
01:00:46 Would solving ARC-AGI-3 prove AGI?
01:07:53 Stripping language away, then priors leak back
01:14:06 Representation and whether language is necessary
01:18:04 The bitter lesson versus specialised harnesses
01:22:20 Capability research, safety, and the software singularity
REFERENCES:
organization:
[00:02:11] ARC-AGI-3
https://arcprize.org/arc-agi/3
[00:03:10] Tufa Labs
https://tufalabs.ai/team/
[00:04:20] ARC-AGI-3 Preview Agent Competition
https://arcprize.org/competitions/arc-agi-3-preview-agents
tool:
[00:04:55] StochasticGoose ARC-AGI-3 solution
https://github.com/DriesSmit/ARC3-solution
[00:07:42] ArcGentica
https://github.com/symbolica-ai/arcgentica
[00:07:49] RGB-Agent
https://github.com/alexisfox7/RGB-Agent
[00:14:38] Claude Code
https://www.anthropic.com/claude-code
[01:03:42] Qwen 3.6 27B
https://huggingface.co/Qwen/Qwen3.6-27B
paper:
[00:13:03] On the Measure of Intelligence
https://arxiv.org/abs/1911.01547
[00:27:42] DreamCoder
https://arxiv.org/abs/2006.08381
[00:43:55] On the Biology of a Large Language Model
https://transformer-circuits.pub/2025/attribution-graphs/biology.html
[01:18:46] ImageNet Classification with Deep CNNs (AlexNet)
https://proceedings.neurips.cc/paper_files/paper/2012/file/c399862d3b9d6b76c8436e924a68c45b-Paper.pdf
other:
[01:18:16] The Bitter Lesson
http://www.incompleteideas.net/IncIdeas/BitterLesson.html
ReScript:
https://app.rescript.info/public/share/463d7f031349b4b9db428553eed88230 ARC-AGI-3 winning team - Millennia of minds, compressed into words.](https://i.ytimg.com/vi/Vg6FBKTlfOw/mqdefault.jpg)
![AI Interpretability, Safety, and Meaning - Nora Belrose
SPONSOR MESSAGES:
CentML offers competitive pricing for GenAI model deployment, with flexible options to suit a wide range of models, from small to large-scale deployments.
https://centml.ai/pricing/
Nora Belrose, Head of Interpretability Research at EleutherAI, delivers a wide-ranging conversation that moves from the mathematical foundations of concept erasure in neural networks to fundamental questions about consciousness, AI safety, and Buddhist philosophy.
The technical core centers on LEACE (LEAst-squares Concept Erasure), a method Belrose developed for surgically removing targeted information from neural network representations. She explains how LEACE emerged from connecting two prior approaches (RLACE and spectral attribute removal) through a mathematical equivalence proof, and demonstrates its applications in both fairness-oriented debiasing and interpretability research. A key finding: language models remain functional even after erasing part-of-speech information from every layer, suggesting robust reliance on redundant cues.
Belrose then presents her ICML paper on simplicity biases in deep learning, showing that neural networks learn to exploit statistical moments in order first means, then covariances, then higher-order statistics. This has implications for understanding when and why concept erasure techniques may backfire against sufficiently deep models.
The second half pivots to AI safety, where Belrose delivers a detailed critique of counting arguments used to predict AI misalignment. She argues these arguments rely on the principle of indifference applied to poorly-defined outcome spaces, drawing an analogy to an identical argument structure that would absurdly predict all neural networks must overfit. She connects this to broader questions about goal attribution, agency, and whether instrumental convergence arguments hold up under scrutiny.
The conversation concludes with an exploration of 4E cognition, Evan Thompsons philosophy of mind, Belroses departure from effective altruism, and her growing interest in Buddhist philosophy as a framework for thinking about meaning in a post-automation world.
REFERENCES:
Paper:
[00:00:00] Episode Shownotes
https://www.dropbox.com/scl/fi/38fhsv2zh8gnubtjaoq4a/NORA_FINAL.pdf?rlkey=0e5r8rd261821g1em4dgv0k70&st=t5c9ckfb&dl=0
[00:05:00] LEACE Paper
https://arxiv.org/abs/2306.03819
[00:06:40] RLACE Paper
https://arxiv.org/abs/2201.12091
[00:08:20] Spectral Attribute Removal
https://arxiv.org/abs/2012.14424
[00:15:00] Pythia Models
https://arxiv.org/abs/2304.01373
[00:20:30] LoRA
https://arxiv.org/abs/2106.09685
[02:00:00] Holden Karnofsky
https://forum.effectivealtruism.org/posts/T975ydo3mx4YnRv4J/ea-is-about-maximization-and-maximization-is-perilous
Company:
[00:01:37] CentML
https://centml.ai/pricing/
[00:01:37] Tufa AI Labs
https://tufalabs.ai/
[00:02:20] EleutherAI
https://www.eleuther.ai/
Person:
[00:02:20] Nora Belrose
https://norabelrose.com/
[01:03:00] Evan Thompson
https://evanthompson.me/
LINKS:
Full Transcript: https://app.rescript.info/share/79d69cf24406cc36d8f7e8eee389e3ae
Download PDF transcript: https://app.rescript.info/api/public/sessions/61e64e1737593802/pdf
Nora Belrose:
https://norabelrose.com/
https://scholar.google.com/citations?user=p_oBc64AAAAJ&hl=en
https://x.com/norabelrose AI Interpretability, Safety, and Meaning - Nora Belrose](https://i.ytimg.com/vi/VgPrjHxIS0I/mqdefault.jpg)

