An AI Proved Fluid Equations Can Blow Up. Nobody Is Paying for That.

A machine-checked proof landed at frontier-lab scale. The math has no buyer. The verification layer next to it might.