Jay Kruer, making the economic version of my argument about Navier–Stokes:
Navier-stokes and statements in pure mathematics like it are the absolute best case scenario for agentic work against rigorous specification.
I focused on the difference between correctness and understanding. Kruer follows the same observation to its economic conclusion: most knowledge work lacks both a formal specification and a cheap verifier, and producing them can cost more than doing the work. The scarce resource has not been automated; the model is a fast search process wrapped in expensive human judgment.