最近忽然觉得，AI 的发展其实就是为了蒸馏。

用几千万的训练成本，固化成一个几十万甚至几万就能运转的模型。

用成本高/性能好的 AI，跑通一个工作流程，再用性能低的 AI 甚至无需 AI 来运转。

对于反证法来说，证明一个证明是否错误是比证明它更简单的事。

未来可能测试用例是比代码更重要的资产，因为测试用例才是描述一个功能最好的 prd。