dlwh：我们优化了「可读的版本」，却忘了最初想加速什么

dlwh 发推感慨，很多理论模型本身是合法的数学，但原始动机本是在真实机器上加速计算，如今形式化本身却变成了研究目标，与最初想加速的计算完全脱节。他补充说，这像是 AI 乃至大多数机构的通病：我们优化的只是目标「可被清晰度量的版本」，然后才惊讶地发现两者并不是一回事。