# 100,000,000 CROWPOWER and no horses on the moon

**tl;dr:** Humans have no damn clue how to measure intelligence.

## Raising Water

Water is wet (and heavy). Because it's wet/heavy, it tends to flow downhill (and
underground).

To continue living, humans often wet themselves ("drinking"/"bathing") and their
plants ("irrigation"). But many humans live uphill (and aboveground) -- to
maintain wetness, they raise water to their homes/farms.

> Once you carry your own water, you will learn the value of every drop.

But water is heavy (and wet), so humans built machines
(["horse mills"](https://en.wikipedia.org/wiki/Horse_mill)) and forced horses to
raise water.

Horses (and humans) are made of meat. Meat is great, but it's prone to disease,
exhaustion, distraction, etc. Ever cleverer, humans built non-meat machines
(["steam engines"](https://en.wikipedia.org/wiki/Steam_engine)) and forced
_water_ to raise water.

## Horse Numbers

> So that an engine which will raise as much water as two horses, working
> together at one time in such a work, can do, and for which there must be
> constantly kept ten or twelve horses for doing the same. Then I say, such an
> engine may be made large enough to do the work required in employing eight,
> ten, fifteen, or twenty horses to be constantly maintained and kept for doing
> such a work...
>
> -- Thomas Savery, _The Miner's Friend_ (1702)

Horses can do work, i.e.
[exert force over distance](<https://en.wikipedia.org/wiki/Work_(physics)>).
Work over time is ["power"](<https://en.wikipedia.org/wiki/Power_(physics)>).

To explain his steam engine to other humans, James Watt defined "1 horsepower"
as "33,000 foot-pounds per minute", which approximates a typical horse's work on
a typical mill.

[^note]:
    The ["foot-pound"](<https://en.wikipedia.org/wiki/Foot-pound_(energy)>) is
    the worst unit of energy. Be careful not to confuse it with the
    ["pound-foot"](<https://en.wikipedia.org/wiki/Pound-foot_(torque)>), which
    is a unit of torque.

Horse numbers are convenient at horse-scale, but cumbersome in calculations for
telegraphy and rocketry, so scientists/engineers literally removed horses from
the equation. Humans now measure power in "Watts" -- named after the human who
named the measurement after horses. 1 horsepower equals ~746 watts.

One SpaceX Starship exceeds 100 million horsepower, but 100 million horses
probably can't pull a sleigh into orbit. Horse-force is not
[thrust](https://en.wikipedia.org/wiki/Thrust), and
[Earth's ~60 million total horses](https://worldmapper.org/maps/horses-2016/)
are not enough.

[^note]:
    Indeed -- scientists have yet to discover even a single horse living on the
    moon. Terra Luna's scant fossil record suggests that horses may have never
    even established a stable population beyond Earth's atmosphere. Biologists
    blame the moon's unforgiving atmosphere; physicists blame the tyranny of
    [the rocket equation](https://en.wikipedia.org/wiki/Tsiolkovsky_rocket_equation).
    Either way, the moon seems safe from equine invasion.

Microwave ovens run at roughly one horsepower. This sounds like nonsense unless
you're familiar with math, energy, work, dimensional analysis, electromagnetism,
radiation, dielectric heating, magnetron design, and thermodynamics.

Well, it sounds like nonsense until you microwave your hundredth frozen burrito
and it becomes mundane magic. We learned to measure energy, then capture it,
store it, and harness it.

## One Intelligence, Please

But humans still have no damn clue what "intelligence" is. We can't measure it,
can't capture it, can't store it, and rarely use it.

Sometimes intelligence smells like "cognitive horsepower", i.e. some
people/machines seem to have better overall engines for doing brilliant
thinky-things.
["g-factor"](<https://en.wikipedia.org/wiki/G_factor_(psychometrics)>)
researchers show that many positive cognitive traits tend to correlate with each
other. But the world also creates counterexamples like
[AlphaGo](https://en.wikipedia.org/wiki/AlphaGo) and
[Kim Peek](https://en.wikipedia.org/wiki/Kim_Peek) -- non-generalizable
brilliance.

[^note]:
    IQ demonstrates intelligence in the same way that horse races demonstrate
    horsepower.

We can't define intelligence, yet we desperately want it -- and pay handsomely
for it. Institutions approximate cognitive horsepower (if it exists) via crude
proxies:

- headcount & "man" hours/months
- age & total years of experience
- processing power (e.g. CPUs, GPUs, clock speed)
- portfolios & selected works
- standardized tests (e.g. SAT, IQ, ARC)
- reputation/klout/endorsements

It's unclear how these measures compare and interact. If I were to get a heart
transplant tomorrow, should I prefer 5 medical students over 1 expert? Should I
prefer 2 Harvard grads over 3 UCR grads? A human child or 10,000 crows?

Such comparisons sound like nonsense; we lack equations to convert absurdity
into understanding. We want to convert cognition into mundane magic. We need
crowpower.

[^note]:
    Crows are a good unit of measurement. They're cute
    ([awww](https://tehcute.com/pics/201202/baby-crow.jpg)), smart (whatever
    that means), portable (~500g), and consistent/fungible (no 10x crows).

## Crowpower

[Scientific revolutions](https://en.wikipedia.org/wiki/The_Structure_of_Scientific_Revolutions)
are punctuated by
[paradigm shifts](https://en.wikipedia.org/wiki/Paradigm_shift). These shifts
often occur when thought-experiment crash into new mathematical tooling:
Schrödinger's cat, Newton's cannonball, Hilbert's hotel, Bell's spaceship,
Maxwell's demon, Mermin's device, Zeno's race, Heisenberg's microscope,
Galileo's ship, Savery's horse, Turing's machine, etc.

In each case, mature mathematics hit the limits of human intuition. Consider
crowpower a catalyst.

### Difficulty

We don't know what it means to cognitively "raise water". We lack the tools to
quantify (or estimate) intellectual work. Consider the following tasks:

- [bake a potato](https://en.wikipedia.org/wiki/Baked_potato)
- [bake a croissant](https://en.wikipedia.org/wiki/Croissant)
- [beat Super Mario Bros. (any%)](https://en.wikipedia.org/wiki/Super_Mario_Bros.)
- [beat Super Mario Bros. (WR)](https://www.speedrun.com/smb1)
- [beat full NES catalog (any%)](https://en.wikipedia.org/wiki/Nes_games)
- [draw a card](https://mtg.fandom.com/wiki/Scry)
- [draw an owl](https://knowyourmeme.com/memes/how-to-draw-an-owl)
- [BB(3)](https://en.wikipedia.org/wiki/Busy_beaver)
- [BB(27)](https://gist.github.com/anonymous/a64213f391339236c2fe31f8749a0df6)
- [BB(745)](/crowpower-bachelor-thesis-undecidability-bb748.pdf)
- [fold a particular protein](https://en.wikipedia.org/wiki/Barnase)
- [fold any protein](https://en.wikipedia.org/wiki/Protein_structure_prediction)
- [prove sqrt(2) is irrational](https://en.wikipedia.org/wiki/Square_root_of_2)
- [prove Fermat's Last Theorem](https://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem)

We intuitively understand these as "challenges", but it's hard to explain _how_
or _why_ they're challenging. Concepts like
[computational complexity](https://en.wikipedia.org/wiki/Computational_complexity),
[logical depth](https://en.wikipedia.org/wiki/Logical_depth),
[learnability](https://en.wikipedia.org/wiki/Statistical_learning_theory),
[Kolmogorov complexity](https://en.wikipedia.org/wiki/Kolmogorov_complexity),
etc. could be
[different parts of the same elephant](https://en.wikipedia.org/wiki/Blind_men_and_an_elephant).

There are no horses on the moon -- could 100 million crows solve Fermat's Last
Theorem?

[^note]:
    FLT was postulated in 1637. Despite countless attempts, it went unsolved
    until [Andrew Wiles](https://en.wikipedia.org/wiki/Andrew_Wiles) produced a
    proof in 1994. This was absurdly difficult; many rank Wile's FLT proof among
    the greatest feats in mathematical history.

### Units

100M crows might not be able to prove FLT, but could 100 clones of Adam Sandler
do it?

[^note]:
    I know very little about Adam Sandler -- he could totally be as smart as
    Andrew Wiles. I specifically chose a comedic actor who plays
    [an average Joe](https://en.wikipedia.org/wiki/Average_Joe).

[^note]:
    I fully expect that comparing Sandler to Wiles is like comparing a 10-watt
    heater to an 11-watt blender. Wattage clearly explains rotational vs.
    thermal energy; nobody blames their heater for frothing milk poorly.

Here are some crude units-of-measurement to consider:

    1 crow < 1 gump < 1 joe < 1 wile < 1 oz < 1 hal

[^note]:
    I shouldn't need to tell you that rhetoric like this is dangerous. Don't
    take this too seriously. Be kind to each other.

[^note]:
    Since nobody knows how human intelligence scales, "oz" (superhuman
    intelligence) purposefully ambiguates
    [Oz](<https://en.wikipedia.org/wiki/Wizard_of_Oz_(character)>) and
    [Ozymandias](https://en.wikipedia.org/wiki/Adrian_Veidt). Of course this
    also ambiguates the accepted abbreviation for "ounces", but this is the best
    I can do with my limited joepower.

It took 1 wile to prove FLT. It remains unclear how many joes it would take to
perform the same feat. Here are some common responses to this
thought-experiment:

- "1 joe cannot be compared to 1 wile. _G_-factor is misguided; intelligence is
  not a one-dimensional phenomenon."
- "1 joe is functionally equivalent to 1 wile, but needs more time to complete
  the same task. It might take 100 joes to prove FLT in a similar timeframe."
- "1 joe is functionally equivalent to 1 wile, but doesn't have the
  memory/stack-depth to complete the same task. It might take 100 joes to hold
  FLT in their heads."
- "1 joe fundamentally lacks some mental machinery in 1 wile. There is no
  reasonable amount of joes that could prove FLT."

We still have no damn clue what we're measuring.

[^note]:
    OpenAI's GPT models might illuminate our fragile human hierarchies. Is GPT-4
    closer to 99 gumps or 0.8 joes?

We weigh horses because we don't know how to test strength. In this world,
nobody can distinguish a strong horse from a fat horse.

### Scaling

100 duck-sized horses are not equivalent to 1 horse-sized duck. 100 1MHz
processors are not equivalent to 1 100MHz processor.

Neil J. Gunther's
[Universal Scalability Law](https://en.wikipedia.org/wiki/Neil_J._Gunther#Universal_Scalability_Law)
formulates this phenomenon:

    C(N) = N / (1 + α(N-1) + βN(N-1))

    C : capacity or throughput
    N : number of processors, threads, or nodes
    α : contention coefficient (serialization)
    β : coherency coefficient (crosstalk)

Note that `β` (i.e. "communication overhead") dominates parallelization gains.
As team size increases, the cost of talking can exceed the value of the work.

Even if 100M crows could be motivated to prove FLT, the bandwidth of crow speech
is probably insufficient.

Coordination is hard. Humans build tools like traffic signs and
[punch clocks](https://en.wikipedia.org/wiki/Time_clock) and SMS to more
efficiently communicate across spacetime. Likewise, crow communication could be
augmented with specialized tools/devices. Imagine millions of crows wearing the
cutest little VR headsets -- each bird working on their own microscopic math
mini-game in exchange for grapes or whatever crows eat.

[^note]:
    We also don't know how to measure motivation. How many kilowatt-hours (a
    proxy for economic value) would it take to incentivize a crow to solve
    equations? How many kW-hours would it take to make those crows flip burgers?

But we've got too many variables on the table -- let's assume all crows are
telepathic and cooperative. When `β` is zero, USL is equivalent to
[Amdahl's Law](https://en.wikipedia.org/wiki/Amdahl%27s_law).

`α` represents contention. This variable depends entirely on the problem (e.g.
proving FLT) and solution (e.g. proof strategy/algorithm). Information "assembly
lines" cannot be parallelized -- some work/processing/computing cannot begin
until intermediate results are completed.

[^note]:
    In some sense, all difficult problems are difficult _because_ they are
    sequential. In ten coin flips, it is easy to get _any_ head, but hard to get
    _all_ heads.

Automated theorem-proving
[is hard](https://en.wikipedia.org/wiki/Automated_theorem_proving). Because FLT
was remarkably difficult, the proof is probably resistant to highly-parallel
strategies. 100M crows can only prove FLT if they have enough compute/memory to
complete its most difficult subsequence.

### Emergence

With enough training and error-correction, an average crow could emulate a
transistor. A sizable murder of crows could emulate a Commodore 64, an Intel i9,
an Nvidia RTX 5070, a human brain, etc.

[^note]:
    If you believe that a crow can emulate a transistor, it would only take
    [a few thousand crows](https://en.wikipedia.org/wiki/Transistor_count) to
    build a CPU. With enough patience and mechanical prowess, crows could
    summarize PDFs and write novels.

[The Chinese Room Argument](https://en.wikipedia.org/wiki/Chinese_room) is
discussed _ad nauseam_ -- few folks would consider individual crow
transistors/neurons as "intelligent" despite their emergent behavior. But it's
unclear _how much_ intelligence (if any) each crow can contribute to a
collective.

There is only one way to make salt; salt molecules cannot be "more salty" or
"less salty". But there are infinite ways to make
[pepper](https://en.wikipedia.org/wiki/Black_pepper) -- a messy blend of
biomolecules created by messy genomes created by messy selection pressures.

If intelligence is like salt, then crows are very expensive (and cute)
transistors. If intelligence is like pepper, a murder could someday be President
of the United States.

### Phase-Changes

Many people view intelligence as a sudden "waking up" phenomenon. Ice melts;
water boils. In this lens, evolution produced smarter ape architectures until a
"phase-change" happened and _Homo sapiens_ took center stage.

[^note]:
    Whenever I glimpse phase-changes, I reach for
    [universality](<https://en.wikipedia.org/wiki/Universality_(dynamical_systems)>)
    in my mathematical toolbox.

It's hard to take this idea seriously if you've ever experienced childhood.
Humans slowly grow intelligent. Even milestones like
[object-permanence](https://en.wikipedia.org/wiki/Object_permanence) and
[walking](https://en.wikipedia.org/wiki/Walking) and
[literacy](https://en.wikipedia.org/wiki/Literacy) become gradual under
scrutiny.

[^note]:
    But ideas also "click" into place. It's hard to "unsee" ambiguous illusions.
    It's difficult to simultaneously understand why `sqrt(2)` is irrational and
    _not_ understand it -- intelligence may be gradual, but the _experience_ is
    sudden/frenetic.

But along some orthogonal axis, we've taught robots object-permanence and
walking and literacy, but it's "not _real_ general intelligence". It's "just
[AlexNet](https://en.wikipedia.org/wiki/AlexNet)" or "just
[PID](https://en.wikipedia.org/wiki/Proportional–integral–derivative_controller)"
or "just [stochastic parrots](https://en.wikipedia.org/wiki/Stochastic_parrot)"
-- until AI performs some magic phase-change, many folks won't admit it into the
Cognition Club; it's merely "artificial" intelligence until it's
["synthetic" intelligence](/synthetic-intelligence).

But if the Cognition Club is real, why is it so hard to describe its minimal
entry requirements? How many crows would it take to make it into the club? How
did [a dead parrot](https://www.youtube.com/watch?v=t70338JIPY0&t=191s)
obliterate the Turing Test?

### Generality

Humans that excel at _any_ subject tend to excel at _all_ subjects. Researchers
call this phenomenon
["g-factor"](<https://en.wikipedia.org/wiki/G_factor_(psychometrics)>) or _g_.

[^note]:
    This model compliments
    [s-factors](https://en.wikipedia.org/wiki/Two-factor_theory_of_intelligence)
    and contrasts
    [theories of multiple intelligences](https://en.wikipedia.org/wiki/Theory_of_multiple_intelligences).

But if 10K crows could comfortably beat every Nintendo game, would you trust
that same murder to file your taxes?

Video games don't span the full gamut of human knowledge/ability, but they're
arguably the most objective available measure of general problem-solving
ability.

[^note]:
    Many video games are harder than college-level courses. _Whirlitzer of
    Wisdom_
    [involves lunar cartography](https://whirlitzer-of-wisdom.blogspot.com/2025/06/sinus-medii.html).

Video games form an objective (albeit anthropocentric (and ethnocentric))
hierarchy for _g_:

1. [World 1-1](https://en.wikipedia.org/wiki/World_1-1)
2. [Super Mario Bros.](https://en.wikipedia.org/wiki/Super_Mario_Bros.)
3. [all NES "platformers"](https://en.wikipedia.org/wiki/Platformer)
4. [full NES catalog](https://en.wikipedia.org/wiki/Nes_games)
5. [full SNES catalog](https://en.wikipedia.org/wiki/Snes_games)
6. [all Nintendo games](https://en.wikipedia.org/wiki/Nintendo)
7. [all video games](https://en.wikipedia.org/wiki/Video_game)

Typewriter monkeys could beat _Super Mario Bros._ given enough time, so this
measure needs additional parameters. Because game-completion times can range
from minutes to days, a reasonable time constraint might be "no more than 100x
slower than current glitchless any% WR". For zero-shot attempts, it might be
wise to allow ~10 lives/restarts within the total allocated time limit.

Let's try an example. Suppose you want to hire crows to beat racing games.
Murder A beats 40% of Mario Kart installments. Murder B beats 100% of
first-person shooters. Murder C beats 5% of all games. Which murder do you hire?

Intuitively, games are more similar when insights/learnings transfer, i.e.
learning game A reduces the learning effort of game B. We'd expect the average
"learning distance" between racing games to be smaller than the distance between
all games. If learning distance is independent of players, we can arrange all
these games in a high-dimensional "gamespace".

Extrapolating from this framework, _g_-factor does not measure the competence of
players -- it measures the compactness (or maybe
[compressibility](https://en.wikipedia.org/wiki/Data_compression)) of a
gamespace region. The existence of a _g_-factor merely suggests that human
school subjects are not so dissimilar: French, English, music, physics,
mathematics, etc.

But what in the precise h\*ck is gamespace? Surprise -- if our games are
arranged by _learning distance_, then gamespace simply contains all _learnable_
problems.

[^note]:
    There are multiple ways to define "learnability":
    [statistical learning theory](https://en.wikipedia.org/wiki/Statistical_learning_theory),
    [algorithmic learning theory](https://en.wikipedia.org/wiki/Algorithmic_learning_theory),
    [computational learning theory](https://en.wikipedia.org/wiki/Computational_learning_theory),
    etc.

### Supersimulators

Learnable problems are a subset of
[computable](https://en.wikipedia.org/wiki/Computability) problems.

The [Church-Turing Thesis](https://en.wikipedia.org/wiki/Church–Turing_thesis)
asserts that computable functions are precisely those that can be computed by a
[Turing Machine](https://en.wikipedia.org/wiki/Turing_machine) (TM) and anything
that can simulate a TM. A system is [Turing-complete (universal)] if it can
simulate any TM.

[^note]:
    Many systems are unexpectedly Turing-complete, e.g. Dwarf Fortress,
    Minecraft, Conway's Game of Life, Magic: The Gathering.

Humans [simulate computers](https://en.wikipedia.org/wiki/Computer_programming),
[simulate conversations](https://www.reddit.com/r/NoStupidQuestions/comments/1gg0k03/do_shower_arguments_actually_make_you_better_at/),
[simulate copulation](https://www.urbandictionary.com/define.php?term=spank-bank),
and [simulate creatures](https://en.wikipedia.org/wiki/Theory_of_mind).

To "think" is to simulate oneself. Memories simulate the past; dreams simulate
the future. The
[hard problem of consciousness](https://en.wikipedia.org/wiki/Hard_problem_of_consciousness)
-- why subjective experience exists -- might be a mere side effect of simulating
simulation itself.

[^note]:
    If [epiphenomenalists](https://en.wikipedia.org/wiki/Epiphenomenalism) are
    correct, consciousness might be an unnecessary side effect of intelligence.

If true, all universal simulators ("supersimulators"?) are members of the
Cognition Club. Simulation-depth might be a useful metric.

[^note]:
    No two supersimulations are alike -- only a bat can
    [be a bat](https://en.wikipedia.org/wiki/What_Is_It_Like_to_Be_a_Bat%3F),
    and only you can be you.

Learning is arguably an act of simulation: players sample examples, then predict
(i.e. simulate) results. Difficult games demand more training; bad players
require more training.

Andrew Wiles required 41 years of post-training to prove Fermat's Last Theorem.
As it stands, 100M crows face fierce competition.

## Things We Measure

We measure things we care about; we make units for things we measure. We made
horsepower to sell steam engines. We made Watts to harness the \[literal\] power
of electricity.

We needed energy beyond horses; we need cognition beyond crows, but we cannot
measure intelligence. We think we know what intelligence looks like, but we have
no clue when/how/why it happens.

[^note]:
    Humans tend to confuse properties with processes. Illness isn't a divine
    curse; it's wild emergent behavior culminating from the struggle of
    countless organisms to survive a little longer. A frog is not a thing that
    hops; a frog is the phenomenon of frogging.

Measure difficulty. Measure motivation. Measure contention. Measure crosstalk.
Measure collaboration. Measure gamespace. Measure compression. Measure learning.
Measure simulation-depth. Measure everything. Measure anything.

Humans need intelligence. We get the units we deserve.
