A breakdown of The Millennium Problem Was the Easy Part, from First Principles Manufacturing, a newsletter by Yuanwei Ma at the intersection of AI, robotics, manufacturing and US–China.
In September, about ten thousand AI agents spent 88 hours on Navier–Stokes and came back with a machine-checked proof. Is math over? Is engineering next? We take apart who actually did what: machines did the heavy lifting, people set the finish line and picked the direction, and the judge was a proof checker. From there, a simple split between capped work and open work explains which jobs AI flattens and which it stretches, why scarcity at the top is "person times access," and where the value goes on the factory floor.
Read the full article: The Millennium Problem Was the Easy Part
Voices are AI-generated. The facts come from the original article by Yuanwei Ma; the interpretation is the hosts'.
Chapters
0:00 Is math over? And what about engineering?
0:59 What happened in those 88 hours
2:47 Who did what: the finish line, the direction, the judge
4:24 Capped vs open work: which jobs does AI flatten?
6:19 What's scarce at the top: taste, judgment, access
8:09 Will AI make manufacturing engineers obsolete?
