The difference is that the textile machine workers could immediately verify the work product. This is impossible when the work product is a configuration of knowledge you don't actually have. It's why, for example, amateurs "solving" these open math problems refuse to discuss the results with actual mathematicians, because they can't. So we have a bunch of Lean-verified slop that may or may not actually prove what is claimed, without experts poring over everything line-by-line and reverse engineering.

Wrong.

Coding is a solved problem. Mathematics is a solved problem. Physics is a solved problem. Biology is a solved problem. Cancer is a solved problem.