AGI
10 essays on this topic.
Write It, Then Prove It: AI That Checks Its Own Work With Math
AI paired with proof checkers like Lean: Olympiad medals, Fermat's Last Theorem, verified code, and the catch: a proof only proves what the spec says.
How Many Levels of AI Are There? Every Ladder Compared
ANI to ASI, the four types, OpenAI's five levels, DeepMind's grid, agent autonomy and safety levels: six AI ladders compared, and where AI sits in October 2026.
AGI: Where We Are Now (October 2026)
What frontier AI can and can't do in October 2026, what lab leaders and skeptics claim, what surveys say, and a scoreboard of every bet on AGI.
The Other Bets: Neurosymbolic, World Models, Brains and Evolution
Cognitive architectures, neurosymbolic AI, world models, brain emulation, Thousand Brains, active inference, evolution and AIXI: the other roads to AGI.
Bet #5: Teach It to Think (Reasoning and Agents)
The reasoning bet on AGI: chain of thought, o1, DeepSeek-R1, ARC-AGI, METR's task-length trend, AI agents and the 'do they really reason?' debate, as of October 2026.
Bet #4: Just Make It Bigger (Scale)
The scaling bet on AGI: the Bitter Lesson, GPT-1 to GPT-4, scaling laws, emergent abilities, the 2024 data wall and where scale stands in October 2026.
Bet #3: Reward Is Enough (Reinforcement Learning)
From Samuel's checkers to AlphaGo's move 37 and today's reasoning models: the bet that trial, error and a reward signal can build general intelligence.
Bet #2: Let It Learn (Neural Networks)
From a 1958 Navy demo to the 2024 Nobel Prize: the 80-year bet that machines should learn from examples instead of rules, and where it hit walls.
Bet #1: Write Down the Rules (Symbolic AI)
The first bet on AGI: write intelligence down as symbols and rules. From Dartmouth and expert systems to Cyc and Deep Blue, and what survives today.
What Does "AGI" Even Mean?
Where the term AGI came from, the main ways people define it, from the Turing test to DeepMind's levels and ARC, and why the definition is worth billions.
