Crosscut · 40 min
Automating the Impossible
From a mechanical picker pulling cotton from a boll to a computer solving pure math, the panic over automation always comes down to what happens when creators lose control of their own inventions.
Rust and Boll × A.I. Disproves a Decades-Old Mathematical Idea, the 'Biggest Conjecture' That the Tech Has Played a Role in Yet
Published 2026-07-29
0:00 / 39:37 · Narrator Sulafat/Charon/Vindemiatrix
In this episode
The connection
There is a strange echo between a machine pulling cotton from a plant and a computer finding a counterexample in pure math. When automation crosses into territory previously thought impossible, a familiar anxiety follows. An essay in Asterisk looks back at the socialist inventors of the mechanical cotton picker, who desperately tried to control the economic shockwaves of their creation. A recent report from Smithsonian Magazine jumps to the present, where an AI model just disproved a major math conjecture—leaving mathematicians unsettled by a system that solves problems without explaining how. Reading them back-to-back reveals a clear pattern. The dread of a new machine repeats itself, whether the labor is physical or purely intellectual.
The first piece leaves a lingering image of John and Mack Rust, two brothers who built a machine to do the impossible and then desperately tried to control the shockwave it would send through the cotton fields. They believed they could socially engineer the fallout of their own invention. Turning to the second piece, the historical echo is hard to ignore, even as the setting shifts from a 1930s farm to a modern artificial intelligence lab. Up next is a report on an AI model casually disproving a century-old math problem—the Jacobian conjecture—while millions watched a soccer match. What jumps out when reading these stories back-to-back is how the anxiety of automation repeats itself. The first piece centers on physical labor: a machine cleanly pulling cotton fibers from a boll. The second piece tackles cognitive labor: a machine pulling a counterexample out of pure mathematics. Notice how both pieces capture a specific kind of dread. For the Rust brothers, the fear was economic displacement. For today’s mathematicians, the displacement is existential. They face a machine that can solve a problem without explaining how it got the answer. Put together, the panic over automating the impossible looks less like a modern tech crisis and more like a permanent feature of human invention.
A metal spindle pulls cotton from a plant. Lines of code generate a mathematical proof. Both machines do exactly what they were designed to do. What lingers is the quiet panic that follows. The inventors of the mechanical picker could not halt the economic upheaval they set in motion, and mathematicians now stare at correct answers they cannot comprehend. When a machine works flawlessly but leaves people powerless to manage the fallout, is it still just a tool?