A calculus theorem, not a bigger model, is the real lever on robot training cost — type0 | type0