AI Age · AI-06

Moravec's Paradox

AI Age

What's hardest for humans (advanced logical reasoning, symbolic math) is often easiest for machines — and what's trivial for a toddler (recognizing a face, catching a ball) has proven the hardest problem in AI.

The observation, formalized in AI and robotics research in the 1980s, that high-level reasoning tasks humans find effortful (chess, formal logic, algebra) require comparatively little computation for machines, while low-level sensorimotor and perceptual skills humans perform unconsciously and effortlessly (walking on uneven terrain, recognizing an object from any angle, catching a thrown ball) have proven immensely computationally difficult to replicate — the reverse of what naive intuition about 'intelligence' predicts.

Named for and substantially articulated by robotics researcher Hans Moravec in his 1988 book Mind Children, with related observations made independently around the same period by Marvin Minsky and Rodney Brooks in AI and robotics research.

The Mechanism

The intuitive difficulty ranking is backwards

For a MACHINE, this is... Easy Hard For a HUMAN, this is... Advanced calculus, chess, formal logic effortful, trained-for-years skill for humans Walking on uneven ground, recognizing a face instant, unconscious, requires no training for humans Advanced calculus, chess, formal logic comparatively cheap for a computer to execute Walking on uneven ground, recognizing a face extraordinarily computationally expensive to replicate

The matrix's diagonal doesn't align the way intuition expects — the tasks that feel hardest to humans (the top-left/bottom-left column) are cheap for machines, and the tasks that feel effortless to humans (top-right/bottom-right) have been among the most computationally demanding to replicate — a genuine inversion Moravec attributed to evolutionary history.

01 · MORAVEC'S OWN EXPLANATION: EVOLUTIONARY TIME INVESTED

Sensorimotor skills had hundreds of millions of years of optimization; abstract reasoning had almost none

Moravec's proposed explanation is that human sensorimotor and perceptual abilities were shaped and refined by hundreds of millions of years of evolutionary pressure, making them extraordinarily optimized (and therefore feel effortless) — whereas abstract logical reasoning is an extremely recent evolutionary development (arguably tens of thousands of years at most), so it remains comparatively unoptimized in the brain, and therefore feels effortful even though, computationally, it may be simpler to formalize.

02 · IT DIRECTLY EXPLAINS WHY ROBOTICS LAGGED SYMBOLIC AI FOR DECADES

Early AI optimism focused on the wrong axis of difficulty

Early AI research in the 1950s-60s often assumed that reasoning and game-playing (chess, theorem-proving) represented the 'hard' frontier of intelligence, and that perception and mobility would be comparatively easy once reasoning was solved — the opposite proved true, and robust general-purpose robotic manipulation and mobility remain harder unsolved problems today than symbolic reasoning tasks that were essentially cracked decades earlier.

03 · MODERN AI'S CAPABILITY PROFILE STILL LARGELY TRACKS THIS DIVIDE

Current large language and reasoning models remain far stronger on the 'hard for humans' side

Even with the dramatic advances of the past decade, contemporary AI systems remain, roughly, considerably more capable relative to human performance at abstract symbolic tasks (mathematics, code, formal reasoning) than at robust, general physical dexterity and real-world perception in unstructured environments — the paradox, while narrowing in places, has not disappeared.

Where It Fails / Inversion

Where it fails / inversion

The paradox is a broad historical pattern, not an ironclad law — deep learning-based computer vision and, more recently, robotic manipulation research have made substantial progress specifically on the perceptual and sensorimotor side, narrowing the gap in some domains faster than Moravec's original framing might have anticipated; treating the paradox as a permanent, unbridgeable divide risks underestimating genuine recent progress on precisely the tasks it identifies as hardest for machines.

How To Use It

Worked example · deciding where AI can genuinely replace a job function today

When evaluating whether AI can replace a given work task, Moravec's paradox is a useful, if imperfect, filter: tasks resembling abstract reasoning, synthesis, and symbolic manipulation (drafting analysis, writing code, summarizing documents) are closer to where current AI is strong; tasks resembling embodied, real-world physical dexterity and perception under unpredictable conditions (skilled trades, in-person caregiving, complex physical assembly in unstructured environments) remain closer to where AI, per the paradox's historical pattern, has struggled most — a useful starting heuristic for prioritizing where automation efforts are likely to succeed soonest, even as the frontier keeps moving.

How to use it

When assessing whether an AI tool can handle a given task, resist the intuitive assumption that 'harder for a smart human' predicts 'harder for AI.' Check instead which side of the Moravec divide the task falls on — abstract/symbolic tasks are where current AI tends to be strongest relative to humans, and physical/perceptual tasks in unstructured real-world settings are where the gap has historically been widest and most persistent.

See Also

The Bitter Lesson → Temporal Eigenvalue Thinking → Circle of Competence (Almanack) → The Prajna/Vijnana Distinction →