dlwh 反思：优化「可读目标」反而背离初衷

dlwh 发推指出，许多理论模型本身是合法的数学，但其原始动机是在真实机器上加速计算，如今形式化本身却成了研究目标，与最初想加速的计算完全脱节。他认为这是 AI 乃至大多数机构的通病：优化的是想要目标的「清晰可读的版本」，结果却与真正想要的东西渐行渐远。