Watch the fireside with @fchollet + @fredsala from @SnorkelAI's Frontier Data Summit.
"Measuring and advancing true general intelligence toward AGI":
- Intelligence as Skill Acquisition
- The Limits of Current Benchmarks
- Compression as Intelligence
- The Future of AGI
youtube.com/live/nNHnv9wLX…
"Measuring and advancing true general intelligence toward AGI":
- Intelligence as Skill Acquisition
- The Limits of Current Benchmarks
- Compression as Intelligence
- The Future of AGI
youtube.com/live/nNHnv9wLX…
0
2
6
4,899
New open role: Research Platform Engineer.
Help define how infrastructure works in the age of agentic research engineering. Build tools for humans and agents.
Also: $10k referral bonus.
Details: ndea.com/jobs/research-…
Help define how infrastructure works in the age of agentic research engineering. Build tools for humans and agents.
Also: $10k referral bonus.
Details: ndea.com/jobs/research-…
4
2
15
3,842
On the pod: @MLStreetTalk's paper "Why Creativity Cannot Be Interpolated" with @ecsquendor + Dr. Jeremy Budd.
A deep dive into creativity, understanding, neuro-symbolic AI, human-AI collaboration, and how systems capable of extending their own phylogeny could become creative.
A deep dive into creativity, understanding, neuro-symbolic AI, human-AI collaboration, and how systems capable of extending their own phylogeny could become creative.
3
8
38
12,250
On the pod: "Constrained Adaptive Rejection Sampling" with @ucsd_cse professor @lorisdanto.
Hear how symbolic AI experts have navigated the LLM era and why the future of AI code generation depends on program synthesis and formal methods.
Hear how symbolic AI experts have navigated the LLM era and why the future of AI code generation depends on program synthesis and formal methods.
5
12
52
18,459
Watch @fchollet live at @LaudeInstitute Open Frontier.
Panel: "Building Things That Last: Lessons from Computing's Long Arc".
youtube.com/live/-41kYH6Jg…
Panel: "Building Things That Last: Lessons from Computing's Long Arc".
youtube.com/live/-41kYH6Jg…
0
3
14
6,682
On the pod: "Inductive Logic Programming" with Stephen Muggleton, Emeritus Professor at @imperialcollege.
What does it take to invent an entirely new field of AI? From Turing to Michie to McCarthy - the journey to creating ILP, combining logic programming with machine learning.
What does it take to invent an entirely new field of AI? From Turing to Michie to McCarthy - the journey to creating ILP, combining logic programming with machine learning.
2
6
15
3,431
On the pod: "Recursive Program Synthesis" with @awsTO, Associate Professor at @WisconsinCS.
How cold-emailing @SumitGulwani at Microsoft Research led to a novel research paper and inside Aws' vision to automatically synthesize the software stack for future quantum computers.
How cold-emailing @SumitGulwani at Microsoft Research led to a novel research paper and inside Aws' vision to automatically synthesize the software stack for future quantum computers.
1
3
23
4,359
On the pod: our most-requested guest! @ellisk_kellis from @Cornell shares the origins of his influential neurosymbolic paper "DreamCoder".
Plus: program synthesis, wake-sleep library learning, world models, running an AI research lab, and more.
Plus: program synthesis, wake-sleep library learning, world models, running an AI research lab, and more.
3
6
59
27,684
"We are trying to build a new branch of machine learning. An alternative to Deep Learning itself...building something that we call Symbolic Descent."
@fchollet joins the @ycombinator Lightcone podcast to share about our research at Ndea and the launch of ARC-AGI-3.
@fchollet joins the @ycombinator Lightcone podcast to share about our research at Ndea and the launch of ARC-AGI-3.
16
36
305
65,318
Ndea retweeted
François Chollet (@fchollet) has spent years asking a different question than most of the AI world. Instead of scaling what already works, he’s trying to understand what intelligence actually is and how to build it from first principles.
In this episode of the @LightconePod, he is early work on deep learning to the creation of the @arcprize, and the launch of ARC V3, a new benchmark designed to measure something deeper than performance: the ability to learn, adapt, and reason efficiently in entirely new environments. He explains why today’s systems may be hitting limits, what recent breakthroughs really mean, and why reaching true general intelligence may require a fundamentally different approach.
00:00 - AGI by 2030?
00:31 - Introducing Ndea: A New Path Beyond Deep Learning
01:08 - A New ML Paradigm
01:30 - Replacing neural nets with compact symbolic programs
03:04 - Why Ndea Isn’t Competing With Coding Agents
05:20 - Why Everyone Might Be Wrong About Scaling LLMs
07:22 - Why Coding Agents Suddenly Work So Well
08:50 - The Limits of LLMs in Non-Verifiable Domains
10:48 - What AGI Actually Means (And Why Most Definitions Are Wrong)
13:30 - Why Deep Learning Hits a Wall
14:00 - ARC’s Origin Story
18:20 - ARC Benchmarks Explained: From V1 to V3
22:49 - The RL Loop Powering Coding Agents Today
27:03 - ARC-AGI V3: Measuring “Agentic Intelligence”
31:14 - Inside the ARC Game Studio
35:31 - Could AGI Fit in 10,000 Lines of Code?
44:01 - Building Ndea: From Idea to Compounding Research Stack
46:46 - The Future of ARC: Benchmarks That Evolve With AI
47:21 - Why There’s Still Huge Opportunity for New AI Paradigms
53:37 - How to Build a Breakout Open Source Project - Lessons From Keras
56:39 - Advice For How To Think About AI
In this episode of the @LightconePod, he is early work on deep learning to the creation of the @arcprize, and the launch of ARC V3, a new benchmark designed to measure something deeper than performance: the ability to learn, adapt, and reason efficiently in entirely new environments. He explains why today’s systems may be hitting limits, what recent breakthroughs really mean, and why reaching true general intelligence may require a fundamentally different approach.
00:00 - AGI by 2030?
00:31 - Introducing Ndea: A New Path Beyond Deep Learning
01:08 - A New ML Paradigm
01:30 - Replacing neural nets with compact symbolic programs
03:04 - Why Ndea Isn’t Competing With Coding Agents
05:20 - Why Everyone Might Be Wrong About Scaling LLMs
07:22 - Why Coding Agents Suddenly Work So Well
08:50 - The Limits of LLMs in Non-Verifiable Domains
10:48 - What AGI Actually Means (And Why Most Definitions Are Wrong)
13:30 - Why Deep Learning Hits a Wall
14:00 - ARC’s Origin Story
18:20 - ARC Benchmarks Explained: From V1 to V3
22:49 - The RL Loop Powering Coding Agents Today
27:03 - ARC-AGI V3: Measuring “Agentic Intelligence”
31:14 - Inside the ARC Game Studio
35:31 - Could AGI Fit in 10,000 Lines of Code?
44:01 - Building Ndea: From Idea to Compounding Research Stack
46:46 - The Future of ARC: Benchmarks That Evolve With AI
47:21 - Why There’s Still Huge Opportunity for New AI Paradigms
53:37 - How to Build a Breakout Open Source Project - Lessons From Keras
56:39 - Advice For How To Think About AI
41
95
613
151,995
AI researcher @pidgeyusedgust of @ProseMsft joins us on the pod to discuss his favorite paper, "Semantic Programming by Example with Pre-trained Models" - a neurosymbolic framework where Flash Fill meets GPT-3.
Symbolic for structure (syntactic), LLMs for meaning (semantic).
Symbolic for structure (syntactic), LLMs for meaning (semantic).
2
2
14
6,003