Source
- URL: https://x.com/yacineMTB/status/2085418818050912320
- Author: kache (@yacineMTB)
- Posted: 2026-08-06 17:32:46
Branch
1/ @yacineMTB
@VictorTaelin
I think the ability to make a computer program progressively smaller (yet still output the same data) is close to the definition of intelligence, if not the definition itself
2/ @VictorTaelin
@yacineMTB
I agree 100% and I think AGI can be achieved by just training on that. The reason for my intuition is that I now concede LLMs can learn any algorithm they’re exposed to, but we never exposed them to a task that demands all components of general intelligence. What you wrote does!
3/ @yacineMTB
@VictorTaelin
if only we could have some kind of verifier for this that we know won’t halt..
4/ @VictorTaelin
@yacineMTB
ohh now that sounds like a good idea
give me one week!
5/ @VictorTaelin
@yacineMTB
also we need a single word for “fail to halt”
6/ @slitdrip
@VictorTaelin @yacineMTB
how about diverge?
https://en.wikipedia.org/wiki/Divergence_%28computer_science%29
7/ @VictorTaelin
@slitdrip @yacineMTB
oh well that works 🤦♂️
8/ @solodeprodigal
@VictorTaelin @slitdrip @yacineMTB
💯